TY  - RPRT
TI  - From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
AU  - Markus Kirchweger
AU  - Tomáš Peitl
AU  - Bernardo Subercaseaux
AU  - Stefan Szeider
PY  - 2025
UR  - https://arxiv.org/abs/2511.08386
ID  - 2511.08386
ER  -