Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving
- 12 June 2016
- book chapter
- Published by Springer Nature
- p. 330-345
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- First-Order Theorem Proving and Vampire2013
- Overview and Evaluation of Premise Selection Techniques for Large Theory MathematicsLecture Notes in Computer Science, 2012
- Sine Qua Non for Large Theory Reasoning2011
- Lightweight relevance filtering for machine-generated resolution problemsJournal of Applied Logic, 2009
- Limited resource strategy in resolution theorem provingJournal of Symbolic Computation, 2003
- Otter - The CADE-13 Competition IncarnationsJournal of Automated Reasoning, 1997
- DISCOUNT - A Distributed and Learning Equational ProverJournal of Automated Reasoning, 1997
- Recording and Analysing Knowledge-Based Distributed Deduction ProcessesJournal of Symbolic Computation, 1996
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- On word problems in equational theories1987