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

Peter SteinkePeter Steinke

Download

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{S2015,
  author      = {Peter Steinke},
  title       = {PBLib {\textemdash} A C++ Toolkit for
                 {EncodingPseudo{\textendash}Boolean} Constraints into {CNF}},
  institution = {TU Dresden},
  year        = {2015}
}