Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming.

Greg Sidebottom William S. Havens

Published 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