An Efficient Encoding of the At-Most-One Constraint

PublikationenPublications

• Nach AutorBy Author
  • Van Hau NguyenVan Hau Nguyen
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

An Efficient Encoding of the At-Most-One Constraint

Steffen HölldoblerSteffen Hölldobler,  Van Hau NguyenVan Hau Nguyen

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

• Details
• Bibtex

• 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}
}