Efficient SAT-Encoding of Linear CSP Constraints

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

Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM-2014), Special session on Boolean and pseudo-Boolean Functions, January 6â8, Fort Lauderdale, FL, USA, 2014, to appear, 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     = {Efficient {SAT-Encoding} of Linear {CSP} Constraints},
  booktitle = {Proc. International Symposium on Artificial Intelligence and
               Mathematics (ISAIM-2014), Special session on Boolean and
               pseudo-Boolean Functions, January 6{\^{a}}8, Fort Lauderdale,
               {FL,} {USA,} 2014, to appear},
  year      = {2014}
}