-
31
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle -
32
-
33
-
34
-
35
-
36
Sparsification-a technique for speeding up dynamic graph algorithms.
Published in Journal of the ACMArticle -
37
-
38
-
39
-
40