-
921
Complexity estimates depending on condition and round-off error.
Published in Journal of the ACMArticle -
922
-
923
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle -
924
-
925
-
926
-
927
-
928
-
929
Sparsification-a technique for speeding up dynamic graph algorithms.
Published in Journal of the ACMArticle -
930