{"id":"arxiv/2608.06432","url":"https://arxiv.org/abs/2608.06432","tags":["cs.LO","cs.DM","math.CO"],"score":0,"title":"Solution Space Partitioning for Extremal Set Theory","domain":"cs.LO","source":"arxiv","authors":["Jesse Looney","Jonah McDonald","Allison Klingler","Gloria Wu","Jonad Pulaj","Haoze Wu"],"reviews":0,"subject":"cs.LO","summary":"We present a method for partitioning the solution space of statements in extremal set theory. Compared with domain-agnostic partitioning methods like look-ahead, we perform case analysis on the strategies by which a candidate solution can be constructed. We demonstrate that our approach can decompose problems in extremal set theory more effectively than look-ahead. Combining this new partitioning strategy with an exact proof-producing MILP solver, we are able to verify larger finite cases of Chvátal's Conjecture---a long-standing open question in extremal combinatorics---compared to previous…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}