Optimal Proof Systems and Sparse Sets.

Harry Buhrman, Stephen A. Fenner, Lance Fortnow, Dieter van Melkebeek

Browse the full STACS paper archive.