Paper Accepted at FMCAD 2026
Paper Trimming Pseudeo-Boolean Proofs Berhan Oumer Adame, Bart Bogaerts, Benjamin Bogø, Simon Dold, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, and Mark Turnbull accepted at Formal Methods in Computer-Aided Design (FMCAD26). (PDF)