An Efficient Encoding of the At-Most-One Constraint
From International Center for Computational Logic
An Efficient Encoding of the At-Most-One Constraint
Steffen HölldoblerSteffen Hölldobler, Van Hau NguyenVan Hau Nguyen
![An Efficient Encoding of the At-Most-One Constraint An Efficient Encoding 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
An Efficient Encoding of the At-Most-One Constraint
Technical Report, Knowledge Representation and Reasoning Group 2013-04, 2013
An Efficient Encoding of the At-Most-One Constraint
Technical Report, Knowledge Representation and Reasoning Group 2013-04, 2013
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{HN2013,
author = {Steffen H{\"{o}}lldobler and Van Hau Nguyen},
title = {An Efficient Encoding of the At-Most-One Constraint},
institution = {Knowledge Representation and Reasoning Group 2013-04},
year = {2013}
}