Flexible Proof-Replay with Heuristics

  title={Flexible Proof-Replay with Heuristics},
  author={Marc Fuchs},
We present a general framework for developing search heuristics for automated theorem provers. This framework allows for the construction of heuristics that are on the one hand able to replay (parts of) a given proof found in the past but are on the other hand exible enough to deviate from the given proof path in order to solve similar proof problems. We substantiate the abstract framework by the presentation of three distinct techniques for learning appropriate search heuristics based on so… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

Analogy for automated reasoning

  • S. Owen
  • 1990

Similar Papers

Loading similar papers…