Structured pigeonhole principle, search problems and hard tautologies.
Jan KrajícekPublished in: J. Symb. Log. (2005)
Keyphrases
- search problems
- orders of magnitude
- search algorithm
- heuristic search
- state space search
- search strategies
- solving hard
- random instances
- efficient search
- search space
- parallel processors
- graph search
- heuristic search algorithms
- iterative deepening
- constraint satisfaction problems
- constraint satisfaction
- state space
- evolutionary algorithm
- planning problems
- propositional logic
- reinforcement learning
- search engine
- learning algorithm