-
921
Complexity estimates depending on condition and round-off error.
الحاوية / القاعدة Journal of the ACMمقال -
922
-
923
Probabilistic checking of proofs a new characterization of NP.
الحاوية / القاعدة Journal of the ACMمقال -
924
-
925
-
926
-
927
-
928
-
929
Sparsification-a technique for speeding up dynamic graph algorithms.
الحاوية / القاعدة Journal of the ACMمقال -
930