Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.
Farid AjiliHendrik C. R. LockPublished in: PLILP/ALP (1998)
Keyphrases
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- finite domain
- constraint solvers
- systematic search
- constrained problems
- constraint reasoning
- constraint programming
- linear systems
- constraint solving
- constraint problems
- interval arithmetic
- constraint graph
- tree search
- search algorithm
- backtracking algorithms
- path consistency
- special case