The provably total NP search problems of weak second order bounded arithmetic.
Leszek Aleksander KolodziejczykPhuong NguyenNeil ThapenPublished in: Ann. Pure Appl. Log. (2011)
Keyphrases
- search problems
- search algorithm
- orders of magnitude
- heuristic search
- efficient search
- search strategies
- state space search
- solving hard
- truth table
- search space
- iterative deepening
- np complete
- planning problems
- np hard
- heuristic search algorithms
- computational complexity
- parallel processors
- domain independent
- search strategy
- genetic algorithm
- evolutionary algorithm
- parallel version