Soft Constraint Propagation and Solving in Constraint Handling Rules.
Stefano BistarelliThom W. FrühwirthMichael MarteFrancesca RossiPublished in: Comput. Intell. (2004)
Keyphrases
- constraint propagation
- constrained problems
- finite domain
- systematic search
- constraint programming
- temporal constraint satisfaction problems
- constraint satisfaction problems
- constraint problems
- constraint handling rules
- constraint reasoning
- constraint solving
- temporal constraints
- quantifier elimination
- constraint satisfaction
- interval arithmetic
- tree search
- constraint solvers
- soft constraints
- backtracking algorithms
- combinatorial problems
- np complete
- interval analysis
- constraint logic programming
- constraint graph
- lower bound
- path consistency
- search space
- linear programming