Adaptive saturation-based reasoning

MaRDI QIDQ3043806zbMATH OpenFDO

Authors Alexandre Riazanov, Andrei Voronkov

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440095.htm

Mathematics Subject Classification ID

Recommendations

• Limited resource strategy in resolution theorem proving
• Selecting the selection
• scientific article; zbMATH DE number 1037485
• Resolution theorem proving
• The search efficiency of theorem proving strategies

Cited in

(5)

• Limited resource strategy in resolution theorem proving
• Adaptive succinctness
• Old or heavy? Decaying gracefully with age/weight shapes
• scientific article; zbMATH DE number 5932201 (Why is no real title available?)
• scientific article; zbMATH DE number 2090321 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Adaptive saturation-based reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043806)