Author: IEEE Conference on Computational Complexity