𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Editorial: Strategies in Automated Deduction

✍ Scribed by Bernhard Gramlich; Hélène Kirchner; Frank Pfenning

Book ID
110351690
Publisher
Springer Netherlands
Year
2000
Tongue
English
Weight
15 KB
Volume
29
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A relevance restriction strategy for aut
A relevance restriction strategy for automated deduction
✍ David A Plaisted; Adnan Yahya 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 295 KB

Identifying relevant clauses before attempting a proof may lead to more efficient automated theorem proving. Relevance is here defined relative to a given set of clauses S and one or more distinguished sets of support T . The role of a set of support T can be played by the negation of the theorem to