J. M. Byskov, B. A. Madsen, and B. Skjernaa, “New Algorithms for Exact Satisfiability”, BRICS, vol. 10, no. 30, Oct. 2003.