Computational Complexity A Modern Approach - ARORA SANJEEV; Barak Boaz (UK CAMBRIDJE UNIVERSITY PRSS, 2016)