Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.
Artie BasukoskiAlexander BolotovPublished in: TIME (2005)
Keyphrases
- search strategies
- search strategy
- search algorithm
- heuristic search
- search methods
- expressive power
- constraint programming
- computation tree logic
- evolutionary algorithm
- epistemic logic
- temporal logic
- branch and bound
- model checking
- constraint satisfaction
- machine learning
- sat solvers
- retrieval effectiveness
- selection strategies
- optimization problems
- database systems