MADSEN, B. A. An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter. BRICS Report Series, [S. l.], v. 11, n. 18, 2004. DOI: 10.7146/brics.v11i18.21843. Disponível em: https://tidsskrift.dk/brics/article/view/21843. Acesso em: 30 apr. 2024.