BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
Olivier BailleuxPublished in: CoRR (2011)
Keyphrases
- pseudo boolean constraints
- cross platform
- logic programming
- programming language
- sat encodings
- boolean functions
- object oriented
- pseudo boolean
- sat solvers
- propositional satisfiability
- logic programs
- simulated annealing
- machine learning
- propositional formulas
- phase transition
- propositional logic
- binary decision diagrams
- software engineering
- data model