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