Mapping CSP into Many-Valued SAT.
Carlos AnsóteguiMaria Luisa BonetJordi LevyFelip ManyàPublished in: SAT (2007)
Keyphrases
- sat problem
- sat encodings
- constraint satisfaction problems
- backtracking search
- sat solvers
- conceptual clustering
- np complete
- constraint satisfaction
- satisfiability problem
- constraint propagation
- phase transition
- constraint programming
- propositional satisfiability
- truth values
- clause learning
- max sat
- search space
- constraint solving
- tree decomposition
- boolean satisfiability
- stochastic local search algorithms
- hypertree decomposition