Short Proofs for Tricky Formulas.

Balakrishnan Krishnamurthy

Published in: Acta Informatica (1985)

Keyphrases

theorem proving
data sets
equational theories
database
information systems
website
search algorithm
artificial neural networks
np hard
theorem prover
horn clauses
natural deduction
formal proof
formal proofs