"Minimum Witnesses for Unsatisfiable 2CNFs."

Joshua Buresh-Oppenheim, David G. Mitchell (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics