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