Title of article
Solving #SAT using vertex covers
Author/Authors
Naomi Nishimura، نويسنده , , Prabhakar Ragde and Stefan Szeider ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
15
From page
509
To page
523
Journal title
acta Informatica
Serial Year
2007
Journal title
acta Informatica
Record number
287883
Link To Document