Short Discrete Proofs.

Joan Boyar René Peralta

Published in: EUROCRYPT (1996)

Keyphrases

discrete version
theorem prover
mathematical proofs
databases
formal proof
discrete geometry
bayesian networks
relational databases
translation invariant
continuous variables
logic programs
hidden markov models
database
multi agent
multiscale
database systems
real world
neural network
data sets