Probabilistic checking of proofs: A new characterization of NP
- Sanjeev Arora
- Shmuel Safra
- 1998
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
3 results for Shmuel Safra
Exponential determinization for ω-automata with strong-fairness acceptance condition
- Shmuel Safra
- 1992
- STOC 1992
A well-characterized approximation problem
- Johan Håstad
- Steven Philips
- et al.
- 1993
- Information Processing Letters