A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling.
Philippe BaptisteClaude Le PapePublished in: IJCAI (1) (1995)
Keyphrases
- constraint propagation
- experimental comparison
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- temporal constraints
- systematic search
- scheduling problem
- quantifier elimination
- constraint solving
- tree search
- feature selection
- arc consistency
- soft constraints
- interval arithmetic
- interval analysis
- backtracking algorithms
- constrained problems
- path consistency
- constraint graph
- finite domain
- constraint solver
- computational complexity
- russian doll search
- truth maintenance systems
- heuristic search
- contextual information
- search space
- objective function
- image sequences