On SAT representations of XOR constraints (2014)

by Matthew Gwynne, Oliver Kullmann
Venue:LATA 2014: Language and Automata Theory and Applications, 8th International Conference, Lecture Notes in Computer Science (LNCS