Propositional proofs and reductions between NP search problems.
Samuel R. BussAlan S. JohnsonPublished in: Ann. Pure Appl. Log. (2012)
Keyphrases
- search problems
- orders of magnitude
- search algorithm
- heuristic search
- propositional logic
- search strategies
- np complete
- search space
- theorem prover
- efficient search
- first order logic
- solving hard
- theorem proving
- computational complexity
- np hard
- constraint satisfaction problems
- heuristic search algorithms
- iterative deepening
- planning problems
- state space
- cnf formula