Optimal Proof Systems and Sparse Sets

Harry Buhrman, Stephen A. Fenner, Lance Fortnow, Dieter van Melkebeek. Optimal Proof Systems and Sparse Sets. In Horst Reichel, Sophie Tison, editors, STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings. Volume 1770 of Lecture Notes in Computer Science, pages 407-418, Springer, 2000. [doi]

Authors

Harry Buhrman

This author has not been identified. Look up 'Harry Buhrman' in Google

Stephen A. Fenner

This author has not been identified. Look up 'Stephen A. Fenner' in Google

Lance Fortnow

This author has not been identified. Look up 'Lance Fortnow' in Google

Dieter van Melkebeek

This author has not been identified. Look up 'Dieter van Melkebeek' in Google