Naomi Nishimura Prabhakar Ragde Stefan Szeider Solving #SAT using vertex covers. 509-523 2007 44 Acta Inf. 7-8 http://dx.doi.org/10.1007/s00236-007-0056-x db/journals/acta/acta44.html#NishimuraRS07