Byskov, Jesper Makholm, et al. “New Algorithms for Exact Satisfiability”. BRICS Report Series, vol. 10, no. 30, Oct. 2003, doi:10.7146/brics.v10i30.21798.