Byskov, Jesper Makholm, Bolette Ammitzbøll Madsen, and Bjarke Skjernaa. “New Algorithms for Exact Satisfiability”. BRICS Report Series 10, no. 30 (October 6, 2003). Accessed January 20, 2026. https://tidsskrift.dk/brics/article/view/21798.