Solving systems of equations on antichains for the computation of the ninth Dedekind Number
<|reference_start|>Solving systems of equations on antichains for the computation of the ninth Dedekind Number: We study systems of equations on antichains, together with a way to count the number of solutions. We start with two simple examples, generalise and show more applications. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.<|reference_end|>
@article{de causmaecker2024solving,
    title={Solving systems of equations on antichains for the computation of the
  ninth Dedekind Number},
    author={Patrick De Causmaecker, Lennart Van Hirtum},
    journal={arXiv preprint arXiv:2405.20904},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.20904},
    primaryClass={math.CO cs.DM}
}