Michael Färber


This page is about the extension of the automated theorem prover Satallax with internal guidance. The goal is to make Satallax learn from previous proof attempts, thus guiding the search to find more proofs in the future.


To reproduce our results for IJCAR 2016, download all the files below, then look at the instructions in the evaluation tool package.