collaborators

1 paper

cs.LO2026

Solution Space Partitioning for Extremal Set Theory

Jesse Looney, Jonah McDonald, Allison Klingler +3

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 an…