4 ms·
I also wonder circuit satisfiability is tacked as a nexus in the graph. 3-SAT seems like a better choice due to Cook's theorem being such a big deal. http://en
by shadytrees 18y ago
I also wonder circuit satisfiability is tacked as a nexus in the graph. 3-SAT seems like a better choice due to Cook's theorem being such a big deal.
http://en.wikipedia.org/wiki/Cook–Levin_theorem http://en.wikipedia.org/wiki/Cook–Levin_theorem