PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF.
Tobias PhilippPeter SteinkePublished in: SAT (2015)
Keyphrases
- pseudo boolean constraints
- logic programming
- sat encodings
- pseudo boolean
- propositional satisfiability
- sat solvers
- boolean functions
- logic programs
- propositional formulas
- integer linear programming
- randomly generated
- symmetry breaking
- cnf formula
- relational databases
- constraint satisfaction
- simulated annealing
- np hard