Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming.
Greg SidebottomWilliam S. HavensPublished in: Comput. Intell. (1992)
Keyphrases
- constraint logic programming
- arc consistency
- constraint programming
- constraint propagation
- constraint solving
- global constraints
- constraint satisfaction problems
- constraint satisfaction
- max csp
- constraint networks
- logic programming
- soft constraints
- arc consistency algorithm
- non binary
- forward checking
- worst case time complexity
- finite domain
- branch and bound search
- answer set programming
- space complexity
- singleton arc consistency
- path consistency
- tree search
- temporal reasoning
- temporal constraints
- search strategies
- heuristic search
- np complete
- binary constraints
- cost function
- search space
- reinforcement learning
- maintaining arc consistency
- machine learning