-
1021
-
1022
-
1023
-
1024
-
1025
-
1026
-
1027
-
1028
Probabilistic checking of proofs a new characterization of NP.
Published in Journal of the ACMArticle -
1029
-
1030