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

PublikationenPublications

• Nach AutorBy Author
  • Peter SteinkePeter Steinke
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

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