-
34401
-
34402
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle -
34403
-
34404
-
34405
Satisfiability of word equations with constants is in PSPACE.
Published in Journal of the ACMArticle -
34406
-
34407
-
34408
-
34409
-
34410