Efficient SAT-Encoding of Linear CSP Constraints.

Pedro Barahona, Steffen Hlldobler, Van-Hau Nguyen

Browse the full ISAIM paper archive.