@inproceedings{looney2026partitioning,
 title={Solution Space Partitioning for Extremal Set Theory},
 author={Looney, Jesse and McDonald, Jonah and Klingler, Allison and Wu, Gloria and Pulaj, Jonad and Wu, Haoze},
 booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
 year={2026}
}