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