Monday, June 06, 2022

Probabilistically Checkable Proofs

"How Computer Scientists Learned to Reinvent the Proof"