Trimming Pseudo-Boolean Proofs
Berhan Oumer Adame
Bart Bogaerts
Benjamin Bogø
S. Dold
Arthur Gontier
Wietze Koops
Ciaran McCreesh
Matthew J. McIlree
Jakob Nordstr¨om
Andy Oertel
Adrián Rebola-Pardo
M. Turnbull
· 0 citations
· 90 references