A Compact Encoding of Pseudo-Boolean Constraints into SAT

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

A Compact Encoding of Pseudo-Boolean Constraints into SAT

Steffen HölldoblerSteffen Hölldobler,  Norbert MantheyNorbert Manthey,  Peter SteinkePeter Steinke
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
@techreport{HMS2012,
  author      = {Steffen H{\"{o}}lldobler and Norbert Manthey and Peter Steinke},
  title       = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
  institution = {TU Dresden, Knowledge Representation and Reasoning},
  year        = {2012}
}