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
Peter Steinke
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2015-01, 2015. Technical Report
@techreport{S2015,
  author      = {Peter Steinke},
  title       = {PBLib {\textemdash} A C++ Toolkit for
                 {EncodingPseudo{\textendash}Boolean} Constraints into {CNF}},
  institution = {TU Dresden},
  year        = {2015}
}