-
1
-
2
-
3
-
4
Probabilistic checking of proofs a new characterization of NP.
Publicado en Journal of the ACMArtículo -
5
-
6
-
7
-
8
-
9
-
10