Byskov, J. M., Madsen, B. A. and Skjernaa, B. (2003) “New Algorithms for Exact Satisfiability”, BRICS Report Series, 10(30). doi: 10.7146/brics.v10i30.21798.