Tallenna
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.
- Alaotsikko
- A Comparative and Asymptotic Analysis
- Kirjailija
- David A. Plaisted, Yunshan Zhu
- Painos
- Second Edition 1999
- ISBN
- 9783528155742
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.10.1999
- Kustantaja
- Springer Vieweg
- Sivumäärä
- 172
