Translating the At-Most-One Constraint to SAT
Aus International Center for Computational Logic
Translating the At-Most-One Constraint to SAT
Pedro BarahonaPedro Barahona, Steffen HölldoblerSteffen Hölldobler, Van Hau NguyenVan Hau Nguyen
![Translating the At-Most-One Constraint to SAT Translating the At-Most-One Constraint to SAT](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{BHN2013,
author = {Pedro Barahona and Steffen H{\"{o}}lldobler and Van Hau Nguyen},
title = {Translating the At-Most-One Constraint to {SAT}},
booktitle = {Doctoral Program, 19th International Conference on Principles and
Practice of Constraint Programming 2013, Uppsala, Sweden,
September 16-20},
year = {2013}
}