Theoreticai and Experimental Studies of Temporal Constraint Satisfaction Problem.
Debasis MitraPublished in: AAAI (1994)
Keyphrases
- experimental study
- constraint satisfaction problems
- constraint satisfaction
- temporal constraints
- constraint propagation
- constraint programming
- np complete
- search space
- constraint solving
- constraint networks
- non binary
- path consistency
- temporal reasoning
- np hard
- soft constraints
- decomposition methods
- hard constraints
- partial constraint satisfaction
- arc consistency
- temporal information
- special case
- constraint problems
- finite domain
- disjunctive temporal
- experimental evaluation
- interval algebra
- knowledge base
- pseudo boolean optimization
- forward checking
- reasoning tasks
- global constraints