Madsen, B. A. “An Algorithm for Exact Satisfiability Analysed With the Number of Clauses As Parameter”. BRICS Report Series, vol. 11, no. 18, Sept. 2004, doi:10.7146/brics.v11i18.21843.