Fast and Flexible Difference Constraint Propagation for DPLL(T).
Scott CottonOded MalerPublished in: SAT (2006)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint satisfaction
- temporal constraints
- constraint programming
- quantifier elimination
- constraint solving
- arc consistency
- interval arithmetic
- linear programming
- sat solvers
- interval analysis
- propositional satisfiability
- np complete
- systematic search
- propositional logic
- finite domain
- constraint problems
- max sat
- backtracking algorithms
- russian doll search