Probabilistically checkable arguments for all NP

From MaRDI portal
Publication:6637335