Probabilistic checking of proofs; a new characterization of NP | IEEE Conference Publication | IEEE Xplore