Representative Encodings to Translate Finite CSPs into SAT

PublikationenPublications

• Nach AutorBy Author
  • Pedro BarahonaPedro Barahona
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

Representative Encodings to Translate Finite CSPs into SAT

Pedro BarahonaPedro Barahona,  Steffen HölldoblerSteffen Hölldobler,  Van-Hau NguyenVan-Hau Nguyen

Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT
CPAIOR, 251-267, 2014

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}