Soft constraint propagation and solving in CHRs.
Stefano BistarelliThom W. FrühwirthMichael MartePublished in: SAC (2002)
Keyphrases
- constraint propagation
- constrained problems
- systematic search
- finite domain
- constraint reasoning
- temporal constraint satisfaction problems
- constraint satisfaction problems
- constraint programming
- constraint solving
- constraint problems
- constraint satisfaction
- temporal constraints
- constraint solvers
- tree search
- quantifier elimination
- backtracking algorithms
- constraint logic programming
- russian doll search
- constraint solver
- interval arithmetic
- soft constraints
- arc consistency
- search space
- search algorithm
- linear programming