Typical forcings, NP search problems and an extension of a theorem of Riis.
Moritz MüllerPublished in: Ann. Pure Appl. Log. (2021)
Keyphrases
- search problems
- orders of magnitude
- search algorithm
- heuristic search
- state space search
- efficient search
- search strategies
- search space
- parallel processors
- iterative deepening
- heuristic search algorithms
- solving hard
- beam search
- constraint satisfaction problems
- computational complexity
- np hard
- constraint satisfaction
- parallel version