2012 IEEE 27th Conference on Computational Complexity