Byskov, Jesper Makholm, Bolette Ammitzbøll Madsen, and Bjarke Skjernaa. 2003. “New Algorithms for Exact Satisfiability”. BRICS Report Series 10 (30). https://doi.org/10.7146/brics.v10i30.21798.