Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Machine Learning Guidance and Proof Certification for Connection Tableaux
Michael Färber, Cezary Kaliszyk, Josef Urban
Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: First, we show opti…
cs.LO2016
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…