An Efficient Encoding of the at-most-one Constraint

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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, TU Dresden, volume Technical Report 2013-04, 2013. Technical Report
@techreport{HN2013,
  author      = {Steffen H{\"{o}}lldobler and Van Hau Nguyen},
  title       = {An Efficient Encoding of the at-most-one Constraint},
  institution = {TU Dresden},
  year        = {2013}
}