C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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