Improving Linear Constraint Propagation by Changing Constraint Representation.
Warwick HarveyPeter J. StuckeyPublished in: Constraints An Int. J. (2003)
Keyphrases
- constraint propagation
- constraint solving
- constraint satisfaction problems
- constraint solver
- constraint graph
- soft constraints
- constrained problems
- constraint reasoning
- finite domain
- constraint satisfaction
- constraint programming
- temporal constraint satisfaction problems
- backtracking algorithms
- temporal constraints
- quantifier elimination
- constraint solvers
- linear constraints
- constraint problems
- systematic search
- constraint logic programming
- russian doll search
- global constraints
- arc consistency
- search space
- truth maintenance systems
- genetic algorithm
- path consistency
- tree search
- interval arithmetic
- binary constraints
- optimization problems
- database systems