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

Peter SteinkePeter Steinke, Norbert MantheyNorbert Manthey

Download

Peter Steinke, Norbert Manthey
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2014-01, 2014. Technical Report

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

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