On SAT Representations of XOR Constraints

Language and Automata Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-04921-2_33 ◽

2014 ◽

pp. 409-420 ◽

Cited By ~ 5

Author(s):

Matthew Gwynne ◽

Oliver Kullmann

Download Full-text