Using interval constraint propagation for pseudo-Boolean constraint solving.
Karsten ScheiblerBernd BeckerPublished in: FMCAD (2014)
Keyphrases
- constraint propagation
- constraint solving
- pseudo boolean
- interval arithmetic
- combinatorial problems
- constraint programming
- constraint satisfaction problems
- symmetry breaking
- constraint satisfaction
- integer linear programming
- propositional satisfiability
- constraint logic programming
- constraint solver
- global constraints
- finite domain
- arc consistency
- temporal constraints
- linear programming
- search space
- tree search
- column generation
- search strategies
- metaheuristic
- constraint problems
- integer programming