On SAT-Encodings of the At-Most-One Constraint
Aus International Center for Computational Logic
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 On SAT-Encodings of the At-Most-One Constraint](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- 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}
}