An Exponential Separation Between MA and AM Proofs of Proximity.

Tom Gur Yang P. Liu Ron D. Rothblum

Published in: Comput. Complex. (2021)

Keyphrases

theorem proving
theorem prover
decision procedures
formal proofs
efficient computation
database
information retrieval
information systems
decision making
multi agent
learning environment
relational databases
proximity measures
equational theories