Prev: VLSI chip testing in Introduction to Algorithm
Next: solution manuals
From: sarhus on 29 Oct 2007 11:04
Hello,

I have a Vertex Cover problem, and I want to transform it to a SAT
problem.
In this sense I can solve the SAT problem and I will
obtain the solution of the Vertex Cover.

Do you know any useful transformation ?

thanks
Rosario.

 | 
Pages: 1
Prev: VLSI chip testing in Introduction to Algorithm
Next: solution manuals