The proof is checked by an algorithm that, after a polynomial-time computation on the input to the satisfiability problem, chooses to examine a small number of randomly chosen positions of the proof string.
Demonstrația este verificată de către un algoritm care, după un timp polinomial de calcul pe datele de intrare ale problemei satisfiabilității, alege să examineze un număr mic de poziții alese aleatoriu din șirul demonstrației.