A Boolean Encoding Including SAT and n-ary CSPs.
Lionel ParisBelaid BenhamouPierre SiegelPublished in: AIMSA (2006)
Keyphrases
- sat encodings
- sat solvers
- constraint satisfaction problems
- sat problem
- pseudo boolean constraints
- sat solving
- boolean formula
- graph coloring
- satisfiability problem
- real valued
- combinatorial problems
- decision diagrams
- constraint satisfaction
- boolean functions
- unit propagation
- backtracking search
- davis putnam logemann loveland
- multi valued
- planning problems
- boolean satisfiability
- integer linear programming
- max sat
- pseudo boolean
- propositional satisfiability
- conjunctive normal form
- backtracking algorithm
- backtrack search
- constraint propagation