Keywords: 384px-3SAT reduced too VC svg.png 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 svg 2008-10-04 ~ Booya <sup>Bazooka</sup> en wikipedia Booyabazooka Computer science Images uploaded at reduced resolution Vertex cover problem |