Spara
The Efficiency of Theorem Proving Strategies
We analyze the search efficiency of a number of common refutational theorem proving strategies on propositional and near-propositional prob lems. A strat egy which is of interest for term-rewriting based theorem proving is the A-ordering strategy, and we discuss it in some detail.
- Undertitel
- A Comparative and Asymptotic Analysis
- Författare
- David A. Plaisted, Yunshan Zhu
- Upplaga
- Second Edition 1999
- ISBN
- 9783528155742
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1999-10-28
- Förlag
- Springer Vieweg
- Sidor
- 172
