Conference paper

Efficient probabilistically checkable proofs and applications approximation

Abstract

No abstract available.

Related