Login / Signup
Sampling-based proofs of almost-periodicity results and algorithmic applications.
Eli Ben-Sasson
Noga Ron-Zewi
Madhur Tulsiani
Julia Wolf
Published in:
Electron. Colloquium Comput. Complex. (2012)
Keyphrases
</>
theorem proving
motion planning
monte carlo
theorem prover
mathematical proofs
formal proofs
equational theories
real time
information retrieval
feature selection
website
case study
database systems
particle filter