Dataset Groups Activity Stream Reducing SAT to Max2XOR Representing some problems with XOR clauses (parity constraints) can allow to apply more efficient reasoning techniques. BibTex: @dataset{Carlos_Ansótegui_and_Jordi_Levy_2024, abstract = {Representing some problems with XOR clauses (parity constraints) can allow to apply more efficient reasoning techniques.}, author = {Carlos Ansótegui and Jordi Levy}, doi = {10.57702/612mq197}, institution = {No Organization}, keyword = {'Max2XOR', 'SAT', 'XOR constraints'}, month = {dec}, publisher = {TIB}, title = {Reducing SAT to Max2XOR}, url = {https://service.tib.eu/ldmservice/dataset/reducing-sat-to-max2xor}, year = {2024} }
