Keywords: 3SAT reduced too VC.svg Example of the 3-SAT problem reduced in PTIME and PSPACE to the vertex cover problem Blue vertices form a partial vertex cover 3-sat A B' C Image 3SAT reduced too VC png 2008-10-04 ~ Booya <sup>Bazooka</sup> en wikipedia Booyabazooka Computer science Vertex cover problem |