Representative Encodings to Translate Finite CSPs into SAT

From International Center for Computational Logic

Toggle side column

Representative Encodings to Translate Finite CSPs into SAT

Pedro BarahonaPedro Barahona,  Steffen HölldoblerSteffen Hölldobler,  Van-Hau NguyenVan-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT


Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT
CPAIOR, 251-267, 2014
@inproceedings{BHN2014,
  author    = {Pedro Barahona and Steffen H{\"{o}}lldobler and Van-Hau Nguyen},
  title     = {Representative Encodings to Translate Finite {CSPs} into {SAT}},
  booktitle = {CPAIOR},
  year      = {2014},
  pages     = {251-267}
}