Witnessing Functions in Bounded Arithmetic and Search Problems.
Mario ChiariJan KrajícekPublished in: J. Symb. Log. (1998)
Keyphrases
- search problems
- orders of magnitude
- search algorithm
- heuristic search
- search strategies
- solving hard
- efficient search
- state space search
- search space
- heuristic search algorithms
- parallel processors
- general purpose
- iterative deepening
- beam search
- search engine
- machine learning
- constraint satisfaction
- first order logic
- computational complexity