TY - RPRT TI - On the Regularity of Random 2-SAT and 3-SAT AU - Andreas Basse-O'Connor AU - Tobias Lindhardt Overgaard AU - Mette Skjøtt PY - 2025 UR - https://arxiv.org/abs/2504.11979 ID - 2504.11979 ER -