Two Provers in Isolation.

Claude Crépeau Louis Salvail Jean-Raymond Simard Alain Tapp

Published in: ASIACRYPT (2011)

Keyphrases

theorem prover
theorem proving
database
databases
preprocessing
website
case study
search algorithm
expert systems
np hard
probabilistic model