Efficient SAT-Encoding of Linear CSP Constraints

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Efficient SAT-Encoding of Linear CSP Constraints

Pedro BarahonaPedro Barahona,  Steffen HölldoblerSteffen Hölldobler,  Van Hau NguyenVan Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints


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