Describing proofs by short tautologies.

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

theorem prover
theorem proving
real time

decision trees
learning algorithm
search engine

feature selection
decision making
objective function

cooperative
formal proof