Minimum Witnesses for Unsatisfiable 2CNFs.

Joshua Buresh-Oppenheim David G. Mitchell

Published in: SAT (2006)

Keyphrases

cnf formula
np complete
phase transition
special case
minimum cost
square error