An Exponential Separation Between MA and AM Proofs of Proximity.

Tom Gur Yang P. Liu Ron D. Rothblum

Published in: ICALP (2018)

Keyphrases

theorem prover
genetic algorithm
mathematical proofs
data mining
decision making
multiscale
video sequences
multi agent systems
expert systems
logic programs
theorem proving
decision procedures
linear complexity
spatial proximity
exponential size
formal proof