Uniqueness of Normal Proofs of Minimal Formulas.

Published in: J. Symb. Log. (1993)

Keyphrases

unsatisfiable cores
theorem prover
data sets
artificial intelligence
machine learning
theorem proving
formal proof
database
decision trees
sufficient conditions
formal proofs
tree decompositions