Byskov, J. M.; Madsen, B. A.; Skjernaa, B. New Algorithms for Exact Satisfiability. BRICS 2003, 10.