-
781
Complexity estimates depending on condition and round-off error.
Julkaisussa Journal of the ACMArtikkeli -
782
Probabilistic checking of proofs a new characterization of NP.
Julkaisussa Journal of the ACMArtikkeli -
783
-
784
-
785
-
786
-
787
-
788
Sparsification-a technique for speeding up dynamic graph algorithms.
Julkaisussa Journal of the ACMArtikkeli -
789
-
790