On Solving Soft Temporal Constraints Using SAT Techniques.
Hossein M. SheiniBart PeintnerKarem A. SakallahMartha E. PollackPublished in: CP (2005)
Keyphrases
- temporal constraints
- temporal reasoning
- simple temporal
- constraint propagation
- temporal constraint networks
- stochastic local search
- workflow systems
- sat instances
- temporal information
- resource constraints
- satisfiability problem
- sat solvers
- temporal aspects
- sat problem
- consistency checking
- incremental algorithms
- sat encodings
- phase transition
- database systems
- interval algebra
- temporal planning
- special case