Siirry suoraan sisältöön
The Efficiency of Theorem Proving Strategies
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
Painos
Second Edition 1999
ISBN
9783528155742
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
28.10.1999
Kustantaja
Springer Vieweg
Sivumäärä
172