Joshua Buresh-Oppenheim David G. Mitchell Minimum Witnesses for Unsatisfiable 2CNFs. 42-47 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_6 db/conf/sat/sat2006.html#Buresh-OppenheimM06