Translating the At-Most-One Constraint to SAT

From International Center for Computational Logic

Toggle side column

Translating the At-Most-One Constraint to SAT

Pedro BarahonaPedro Barahona,  Steffen HölldoblerSteffen Hölldobler,  Van Hau NguyenVan Hau Nguyen
Translating the At-Most-One Constraint to SAT


Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
@inproceedings{BHN2013,
  author    = {Pedro Barahona and Steffen H{\"{o}}lldobler and Van Hau Nguyen},
  title     = {Translating the At-Most-One Constraint to {SAT}},
  booktitle = {Doctoral Program, 19th International Conference on Principles and
               Practice of Constraint Programming 2013, Uppsala, Sweden,
               September 16-20},
  year      = {2013}
}