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

Steffen HölldoblerSteffen Hölldobler, Van Hau NguyenVan Hau Nguyen

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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