Limited resource strategy in resolution
β
Alexandre Riazanov; Andrei Voronkov
π
Article
π
2003
π
Elsevier Science
π
English
β 245 KB
For most applications of first-order theorem provers a proof should be found within a fixed time limit. When the time limit is set, systems can perform much better by using algorithms other than the ordinary complete ones. In this paper we describe the limited resource strategy (LRS) intended to imp