On SAT-Encodings of the At-Most-One Constraint

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

Toggle side column

On SAT-Encodings of the At-Most-One Constraint

Steffen HölldoblerSteffen Hölldobler,  Van Hau NguyenVan Hau Nguyen
On SAT-Encodings of the At-Most-One Constraint


Steffen Hölldobler, Van Hau Nguyen
On SAT-Encodings of the At-Most-One Constraint
In George Katsirelos and Claude-Guy Quimper, eds., Proc. The Twelfth International Workshop on Constraint Modelling and Reformulation, Uppsala, Sweden, September 16-20, 1-17, 2013
@inproceedings{HN2013,
  author    = {Steffen H{\"{o}}lldobler and Van Hau Nguyen},
  title     = {On {SAT-Encodings} of the At-Most-One Constraint},
  editor    = {George Katsirelos and Claude-Guy Quimper},
  booktitle = {Proc. The Twelfth International Workshop on Constraint Modelling
               and Reformulation, Uppsala, Sweden, September 16-20},
  year      = {2013},
  pages     = {1-17}
}