Uwe Schöning
-
Sparse sets and collapse of complexity classes
Information and Computation
Optimal Proof Systems and Sparse Sets
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science