{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T21:05:06Z","timestamp":1769893506859,"version":"3.49.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,12,28]],"date-time":"2025-12-28T00:00:00Z","timestamp":1766880000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,28]],"date-time":"2025-12-28T00:00:00Z","timestamp":1766880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Comb Optim"],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1007\/s10878-025-01361-9","type":"journal-article","created":{"date-parts":[[2025,12,28]],"date-time":"2025-12-28T08:20:28Z","timestamp":1766910028000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Solving systems of equations on antichains for the computation of the ninth Dedekind Number"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6763-1945","authenticated-orcid":false,"given":"Patrick","family":"De Causmaecker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6982-8012","authenticated-orcid":false,"given":"Lennart","family":"Van Hirtum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,12,28]]},"reference":[{"key":"1361_CR1","first-page":"75T","volume":"22","author":"J Berman","year":"1975","unstructured":"Berman J, Burger A, Koehler P (1975) The free distributive lattice on seven generators. Notices Amer Math Soc 22:75T-A242","journal-title":"Notices Amer Math Soc"},{"key":"1361_CR2","first-page":"103","volume":"121","author":"J Berman","year":"1976","unstructured":"Berman J, Koehler P (1976) Cardinalities of finite distributive lattices. Mitteilungen aus dem Mathematischen Seminar Giessen 121:103\u2013124","journal-title":"Mitteilungen aus dem Mathematischen Seminar Giessen"},{"issue":"2","key":"1361_CR3","first-page":"3","volume":"24","author":"J Berman","year":"2021","unstructured":"Berman J, Koehler P (2021) On Dedekind numbers and two sequences of Knuth. J Integ Sequences 24(2):3","journal-title":"J Integ Sequences"},{"key":"1361_CR4","doi-asserted-by":"publisher","first-page":"732","DOI":"10.1215\/S0012-7094-40-00655-X","volume":"6","author":"R Church","year":"1940","unstructured":"Church R (1940) Numerical analysis of certain free distributive structures. Duke Math J 6:732\u2013734","journal-title":"Duke Math J"},{"key":"1361_CR5","first-page":"724","volume":"12","author":"R Church","year":"1965","unstructured":"Church R (1965) Enumeration by rank of the elements of the free distributive lattice with 7 generators. Notices Amer Math Soc 12:724","journal-title":"Notices Amer Math Soc"},{"key":"1361_CR6","unstructured":"De Causmaecker P, De Wannemacker S (2011) Partitioning in the space of antimonotonic functions. arXiv:1103.2877"},{"key":"1361_CR7","unstructured":"De Causmaecker P, De Wannemacker S (2014) On the number of antichains of sets in a finite universe. arXiv:1407.4288"},{"key":"1361_CR8","unstructured":"De Causmaecker P, De Wannemacker S, Yellen J (2016) Intervals of antichains and their decompositions. arXiv:1602.04675"},{"key":"1361_CR9","doi-asserted-by":"crossref","unstructured":"Dedekind R (1897) Ueber Zerlegungen von Zahlen Durch Ihre Groessten Gemeinsamen Theiler, pages 1\u201340. Vieweg-Teubner Verlag, Wiesbaden","DOI":"10.1007\/978-3-663-07224-9_1"},{"key":"1361_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jaca.2023.100006","volume":"6\u20137","author":"C Jaekel","year":"2023","unstructured":"Jaekel C (2023) A computation of the ninth dedekind number. J Comput Algebra 6\u20137:100006","journal-title":"J Comput Algebra"},{"key":"1361_CR11","first-page":"139","volume":"386","author":"A Kisielewicz","year":"1988","unstructured":"Kisielewicz A (1988) A solution of dedekind\u2019s problem on the number of isotone boolean functions. J f\u00fcr die Reine und Angewandte Math 386:139\u2013144","journal-title":"J f\u00fcr die Reine und Angewandte Math"},{"key":"1361_CR12","first-page":"373","volume":"213","author":"D Kleitman","year":"1975","unstructured":"Kleitman D, Markowsky G (1975) On dedekind\u2019s problem: the number of isotone boolean functions. ii. Trans Amer Math Soc 213:373\u2013390","journal-title":"Trans Amer Math Soc"},{"key":"1361_CR13","first-page":"5","volume":"38","author":"AD Korshunov","year":"1981","unstructured":"Korshunov AD (1981) The number of monotone boolean functions (russian). Problemy Kibernet 38:5\u2013108","journal-title":"Problemy Kibernet"},{"key":"1361_CR14","unstructured":"Liu CC (1985) On the derivation of formulas of the free distributive lattices by machine. J. Wuhan Univ. Natur. Sci., https:\/\/www.cnki.net, in Chinese"},{"key":"1361_CR15","unstructured":"Liu CC, Hu SB (1985) A mechanical algorithm of equivalent classification for free distributive lattices. Chinese J. Comput., https:\/\/www.cnki.net, in Chinese"},{"key":"1361_CR16","unstructured":"Liu CC, Hu SB (1986) A note on the problem of computing the number of equivalence classes of free distributive lattices. J Wuhan Univ Natur Sci, https:\/\/www.cnki.net, in Chinese"},{"key":"1361_CR17","unstructured":"Lunnon F (1971) The IU function: The size of a free distributive lattice, pages 173\u2013181. Welsh, D., J., A., Academic Press, London"},{"key":"1361_CR18","unstructured":"OEIS (Consulted 2025a) The on-line encyclopedia of integer sequences, https:\/\/oeis.org\/A000372"},{"key":"1361_CR19","unstructured":"OEIS (Consulted 2025b) The on-line encyclopedia of integer sequences, https:\/\/oeis.org\/A003182"},{"key":"1361_CR20","first-page":"11","volume":"25","author":"B Pawelski","year":"2022","unstructured":"Pawelski B (2022) On the number of inequivalent monotone boolean functions of 8 variables (2023). J Integ Sequences 25:11","journal-title":"J Integ Sequences"},{"issue":"7","key":"1361_CR21","doi-asserted-by":"publisher","first-page":"5358","DOI":"10.1109\/TIT.2024.3379594","volume":"70","author":"B Pawelski","year":"2024","unstructured":"Pawelski B (2024) On the number of inequivalent monotone boolean functions of 9 variables. IEEE Trans Inf Theory 70(7):5358\u20135364","journal-title":"IEEE Trans Inf Theory"},{"key":"1361_CR22","unstructured":"Pawelski B, Szepietowski A (2023a) Counting self-dual monotone Boolean functions. arXiv:2310.12637"},{"key":"1361_CR23","first-page":"7","volume":"26","author":"B Pawelski","year":"2023","unstructured":"Pawelski B, Szepietowski A (2023) Divisibility properties of dedekind numbers. J Integ Sequences 26:7","journal-title":"J Integ Sequences"},{"key":"1361_CR24","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.dam.2013.11.015","volume":"167","author":"T Stephen","year":"2014","unstructured":"Stephen T, Yusun T (2014) Counting inequivalent monotone boolean functions. Discret Appl Math 167:15\u201324","journal-title":"Discret Appl Math"},{"issue":"2","key":"1361_CR25","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan R (1972) Depth-first search and linear graph algorithms. SIAM J Comput 1(2):146\u2013160","journal-title":"SIAM J Comput"},{"key":"1361_CR26","unstructured":"Van Hirtum L, De Causmaecker P, Goemaere J, Kenter T, Riebler H, Lass M, Plessl C (2023) A computation of d(9) using fpga supercomputing. arXiv:2304.03039"},{"key":"1361_CR27","doi-asserted-by":"publisher","DOI":"10.1145\/3674147","volume-title":"A computation of the ninth Dedekind number using FPGA supercomputing","author":"L Van Hirtum","year":"2024","unstructured":"Van Hirtum L, De Causmaecker P, Goemaere J, Kenter T, Riebler H, Lass M, Plessl C (2024) A computation of the ninth Dedekind number using FPGA supercomputing. ACM Trans. Reconfigurable Technol, Syst"},{"key":"1361_CR28","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1090\/S0002-9904-1946-08568-7","volume":"52","author":"M Ward","year":"1946","unstructured":"Ward M (1946) Note on the order of free distributive lattices. Bull Amer Math Soc 52:423","journal-title":"Bull Amer Math Soc"},{"key":"1361_CR29","doi-asserted-by":"crossref","unstructured":"Wiedemann D (1991) A computation of the eighth Dedekind number. https:\/\/link.springer.com\/article\/10.1007%2FBF00385808","DOI":"10.1007\/BF00385808"},{"key":"1361_CR30","first-page":"5","volume":"2","author":"K Yamamoto","year":"1953","unstructured":"Yamamoto K (1953) Note on the order of free distributive lattices. Sci Rep Kanazawa Univ 2:5\u20136","journal-title":"Sci Rep Kanazawa Univ"}],"container-title":["Journal of Combinatorial Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10878-025-01361-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10878-025-01361-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10878-025-01361-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,31]],"date-time":"2026-01-31T08:54:01Z","timestamp":1769849641000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10878-025-01361-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,28]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,1]]}},"alternative-id":["1361"],"URL":"https:\/\/doi.org\/10.1007\/s10878-025-01361-9","relation":{},"ISSN":["1382-6905","1573-2886"],"issn-type":[{"value":"1382-6905","type":"print"},{"value":"1573-2886","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,28]]},"assertion":[{"value":"9 January 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 December 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"5"}}