Predicate-calculus-based logics for modeling and solving search problems.

Deborah East Miroslaw Truszczynski

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

search problems
predicate calculus
solving hard
systematic search algorithms
search algorithm
heuristic search
orders of magnitude
formal model
satisfiability problem
theorem proving
search strategies
modal logic
expressive power
search space
stochastic local search
predicate logic
programming language