On SAT Representations of XOR Constraints.

Matthew Gwynne, Oliver Kullmann

Browse the full LATA paper archive.