Probabilistically checkable proof

From Free net encyclopedia