Simple Doubly-Efficient Interactive Proof Systems for Locally-Characterizable Sets.

Oded Goldreich Guy N. Rothblum

Published in: ITCS (2018)

Keyphrases

intelligent systems
computationally expensive
expert systems
management system
distributed systems
complex systems
computationally costly
artificial intelligence
computer vision
computer systems
cost effective
interactive systems
provably correct