Efficient SAT-Encoding of Linear CSP Constraints
Aus International Center for Computational Logic
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
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
- 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}
}