Solving #SAT using vertex covers
Naomi Nishimura, Prabhakar Ragde, Stefan SzeiderVolume:
44
Langue:
english
Pages:
15
DOI:
10.1007/s00236-007-0056-x
Date:
December, 2007
Fichier:
PDF, 227 KB
english, 2007