@misc{indiciaeffcef9313692, title = {From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT}, author = {Markus Kirchweger and Tomáš Peitl and Bernardo Subercaseaux and Stefan Szeider}, year = {2025}, url = {https://arxiv.org/abs/2511.08386}, note = {Source identifier: 2511.08386} }