Generalizing Boolean Satisfiability II: Theory

Open in new window