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

S. HölldoblerS. Hölldobler, V.H. NguyenV.H. Nguyen

S. Hölldobler, V.H. Nguyen
On SAT-Encodings of the At-Most-One Constraint
In G. Katsirelos and C.-G. Quimpe, eds., Proceedings ModRef2013: The Twelfth International Workshop on Constraint Modelling and Reformulation, 1-17, 2013

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{HN2013,
  author    = {S. H{\"{o}}lldobler and {V.H.} Nguyen},
  title     = {On {SAT-Encodings} of the At-Most-One Constraint},
  editor    = {G. Katsirelos and C.-G. Quimpe},
  booktitle = {Proceedings {ModRef2013:} The Twelfth International Workshop on
               Constraint Modelling and Reformulation},
  year      = {2013},
  pages     = {1-17}
}