Doubly-Efficient Pseudo-Deterministic Proofs.

Michel X. Goemans Shafi Goldwasser Dhiraj Holden

Published in: CoRR (2019)

Keyphrases

data mining
bayesian networks
expert systems
theorem prover
data sets
databases
real world
information systems
feature selection
multimedia
lightweight
computationally efficient