Publications

3 results for Shmuel Safra

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