Spar
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.
- Undertittel
- A Comparative and Asymptotic Analysis
- Forfatter
- David A. Plaisted, Yunshan Zhu
- Opplag
- Second Edition 1999
- ISBN
- 9783528155742
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 28.10.1999
- Forlag
- Springer Vieweg
- Antall sider
- 172
