Return to Article Details New Algorithms for Exact Satisfiability Download Download PDF