DMCA

Minimum Witnesses for Unsatisfiable 2CNFs Joshua Buresh-Oppenheim and

by David Mitchell