Improved algorithms for the general exact satisfiability problem. - Hoi, Gordon; Stephan, Frank (Theoretical Computer Science, 2021)