Shmuel Safra
- Interactive proofs and the hardness of approximating cliques
1996/03/01 by Uriel Feige, Shafi Goldwasser, László Lovász +5 · 31 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Algorithm #Clique #Combinatorial proof #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Connection (principal bundle) #Correctness #Cryptography and Data Security #Discrete mathematics #Gas meter prover #Graph #Mathematical proof #Mathematics
- Exponential Determinization for ω‐Automata with a Strong Fairness Acceptance Condition
2006/01/01 by Shmuel Safra, Muli Safra · 1 citation
Computer Science · #semigroups and automata theory #Formal Methods in Verification #Machine Learning and Algorithms