Byskov JM, Madsen BA, Skjernaa B. New Algorithms for Exact Satisfiability. BRICS [Internet]. 6. oktober 2003 [henvist 6. december 2025];10(30). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21798