Modelling and solving temporal reasoning as propositional satisfiability.
Duc Nghia PhamJohn ThorntonAbdul SattarPublished in: Artif. Intell. (2008)
Keyphrases
- temporal reasoning
- propositional satisfiability
- solving hard
- temporal constraints
- variable ordering
- sat solvers
- qualitative and quantitative
- propositional logic
- temporal information
- stochastic local search
- temporal knowledge
- reasoning tasks
- sat instances
- constraint programming
- constraint networks
- temporal constraint networks
- automated reasoning
- industrial applications
- path consistency
- satisfiability problem
- combinatorial problems
- sat problem
- constraint propagation
- series parallel
- lower bound
- constraint satisfaction
- metaheuristic
- state space
- search space
- temporal intervals