• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Irit Dinur, Shmuel Safra
  • Mathematics, Computer Science
  • STOC '02
  • 2001 (First Publication: 19 May 2002)
  • (MATH) We show that the Minimum Vertex Cover problem is NP-hard to approximate to within any factor smaller than $10\sqrt{5}-21 \approx 1.36067$, improving on the previously known hardness result forExpand
  • Shmuel Safra
  • Computer Science
  • [Proceedings ] 29th Annual Symposium on…
  • 1988 (First Publication: 24 October 1988)
  • Automata on infinite words were introduced by J.R. Buchi (1962) in order to give a decision procedure for S1S, the monadic second-order theory of one successor. D.E. Muller (1963) suggestedExpand