21 citations · 29 across the 9 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
BliStrTune: Hierarchical Invention of Theorem Proving Strategies
Jan Jakubuv, Josef Urban
Inventing targeted proof search strategies for specific problem sets is a difficult task. State-of-the-art automated theorem provers (ATPs) such as E allow a large number of user-s…
cs.LO2016★ 1 cited
Extending E Prover with Similarity Based Clause Selection Strategies
Jan Jakubův, Josef Urban
E prover is a state-of-the-art theorem prover for first-order logic with equality. E prover is built around a saturation loop, where new clauses are derived by inference rules from…