B. A. Madsen, “An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter”, BRICS, vol. 11, no. 18, Sep. 2004.