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