Representative Encodings to Translate Finite CSPs into SAT.

Pedro Barahona, Steffen Hlldobler, Van-Hau Nguyen

Browse the full CPAIOR paper archive.