Abstracting Abstraction in Search II: Complexity Analysis.

Christer Bäckström Peter Jonsson

Published in: SOCS (2012)

Keyphrases

complexity analysis
search algorithm
theoretical analysis
search efficiency
search space
first order logic
real time
expert systems
search strategy
search strategies
path finding
search problems
result set
lower bound
computational complexity
database systems
high level
website