Extending E Prover with Similarity Based Clause Selection Strategies

DOI10.1007/978-3-319-42547-4_11zbMath1347.68303arXiv1606.03888OpenAlexW2438025153WikidataQ62044871 ScholiaQ62044871MaRDI QIDQ2817300

Jan Jakubův, Josef Urban

Publication date: 30 August 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1606.03888

zbMATH Keywords

automated theorem provingclause selectionlarge theory reasoning

Mathematics Subject Classification ID

Related Items (2)

Make E Smart Again (Short Paper) ⋮ Learning theorem proving components

Uses Software

• OTTER
• E Theorem Prover
• BliStr

Cites Work

• Unnamed Item
• Premise selection for mathematics by corpus analysis and kernel methods
• Simple Fast Algorithms for the Editing Distance between Trees and Related Problems

This page was built for publication: Extending E Prover with Similarity Based Clause Selection Strategies