Lectures on proof verification and approximation algorithms

From MaRDI portal
Publication:1388145