Total Search Problems in Bounded Arithmetic and Improved Witnessing.
Arnold BeckmannJean-José RazafindrakotoPublished in: WoLLIC (2017)
Keyphrases
- search problems
- orders of magnitude
- search algorithm
- heuristic search
- search strategies
- solving hard
- state space search
- efficient search
- parallel processors
- search space
- iterative deepening
- beam search
- combinatorial search
- heuristic search algorithms
- planning problems
- general purpose
- systematic search algorithms
- relevance feedback
- probabilistic model
- dynamic programming