Computational complexity : Theory, Techniques, and Applications (2012)