Improved algorithms for the general exact satisfiability problem - Hoi, G (Elsevier BV, 2023)
10.1016/j.tcs.2021.07.036