Shafi Goldwasser Probabilistically Checkable Proofs and Applications. 13-25 1995 GI Jahrestagung db/conf/gi/gi95.html#Goldwasser95