Matthew Gwynne, Oliver Kullmann
On SAT Representations of XOR Constraints
LATA, 2014.
@inproceedings{LATA-2014-GwynneK,
author = "Matthew Gwynne and Oliver Kullmann",
booktitle = "{Proceedings of the Eighth International Conference on Language and Automata Theory and Applications}",
doi = "10.1007/978-3-319-04921-2_33",
isbn = "978-3-319-04920-5",
pages = "409--420",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On SAT Representations of XOR Constraints}",
volume = 8370,
year = 2014,
}