Sublogarithmic uniform Boolean proof nets

Clément Aubert

Published in: DICE (2011)

Keyphrases

real valued
boolean functions
mathematical proofs
databases
neural network
machine learning
three dimensional
theorem prover
theorem proving
uniform distribution
boolean queries