Madsen, B.A. 2004. An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter. BRICS Report Series. 11, 18 (Sep. 2004). DOI:https://doi.org/10.7146/brics.v11i18.21843.