8 citations · 13 across the 7 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 8 cited
Monte Carlo Tableau Proof Search
Michael Färber, Cezary Kaliszyk, Josef Urban
We study Monte Carlo Tree Search to guide proof search in tableau calculi. This includes proposing a number of proof-state evaluation heuristics, some of which are learnt from prev…
cs.LO2016★ 4 cited
Internal Guidance for Satallax
Michael Färber, Chad Brown
We propose a new internal guidance method for automated theorem provers based on the given-clause algorithm. Our method influences the choice of unprocessed clauses using positive…