Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

But every time I fire up Minisat it feels like I am sitting at the controls of a quantum computer. I've got all my qubits (terms) all wired together in some complicated expression and when power is applied every qubit will instantly collapse out of superposition and crystallize into a perfect answer. Of course SAT is actually an NP-complete problem and a real quantum computer could solve it in O(1) time.

Mail: (not shown)

Please type this: