PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF

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

PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF

Peter SteinkePeter Steinke,  Norbert MantheyNorbert Manthey
Peter Steinke, Norbert Manthey
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2014-01, 2014. Technical Report
@techreport{SM2014,
  author      = {Peter Steinke and Norbert Manthey},
  title       = {PBLib {\textemdash} A C++ Toolkit for
                 {EncodingPseudo{\textendash}Boolean} Constraints into {CNF}},
  institution = {TU Dresden},
  year        = {2014}
}