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