Login / Signup
On Search Problems in Complexity Theory and in Logic (Abstract).
Pavel Pudlák
Published in:
CIAC (2006)
Keyphrases
</>
search problems
complexity theory
search algorithm
orders of magnitude
heuristic search
theoretical basis
computational geometry
search strategies
search space
constraint satisfaction problems
planning problems
automated reasoning
logic programming
search strategy
computational properties