Representative Encodings to Translate Finite CSPs into SAT

Pedro Barahona, Helmut Simonis, Nguyen Van Hau,

Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8451
ISBN	978-3-319-07045-2
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8451
ISBN	978-3-319-07045-2

Publication