-
1031
-
1032
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle -
1033
-
1034
-
1035
-
1036
-
1037
-
1038
-
1039
Lower bounds on the bounded coefficient complexity of bilinear maps.
Published in Journal of the ACMArticle -
1040