Holographic Proofs and Derandmization.

Dieter van Melkebeek Rahul Santhanam

Published in: SIAM J. Comput. (2005)

Keyphrases

theorem proving
data storage
theorem prover
equational theories
high capacity
formal proof
artificial intelligence
decision procedures
formal proofs
database
data sets
decision making
digital libraries