Sampling-Based Proofs of Almost-Periodicity Results and Algorithmic Applications.

Eli Ben-Sasson Noga Ron-Zewi Madhur Tulsiani Julia Wolf

Published in: ICALP (1) (2014)

Keyphrases

monte carlo
theorem proving
motion planning
theorem prover
formal proofs
neural network
artificial intelligence
equational theories
mathematical proofs
databases
website
image segmentation
bayesian networks
degrees of freedom
natural deduction
proof search