On SAT-Encodings of the At-Most-One Constraint
Aus International Center for Computational Logic
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
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
- 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}
}
