Consistency of circuit evaluation, extended resolution and total NP search problems.
Jan KrajícekPublished in: CoRR (2015)
Keyphrases
- search problems
- search algorithm
- orders of magnitude
- heuristic search
- state space search
- search strategies
- efficient search
- np hard
- np complete
- special case
- lower bound
- heuristic search algorithms
- parallel processors
- iterative deepening
- solving hard
- upper bound
- general purpose
- language model
- genetic algorithm
- systematic search algorithms