Login / Signup
Proof verification and the hardness of approximation problems.
Sanjeev Arora
Carsten Lund
Rajeev Motwani
Madhu Sudan
Mario Szegedy
Published in:
Electron. Colloquium Comput. Complex. (1998)
Keyphrases
</>
optimization problems
data sets
artificial intelligence
closed form
real world
constraint satisfaction
error bounds
problems involving
formal proof