-
31
Satisfiability of word equations with constants is in PSPACE.
Published in Journal of the ACMArticle -
32
-
33
-
34
-
35
-
36
-
37
-
38
Fast monte-carlo algorithms for finding low-rank approximations.
Published in Journal of the ACMArticle -
39
-
40