Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Complexity and Cryptography

Selected Talks of Olaf Beyersdorff


The Deduction Theorem, Optimal Proof Systems, and Complete Disjoint NP-Pairs
3rd Conference on Computability in Europe (CiE)
, Siena (Italy), June 2007.

Disjunkte NP-Paare und aussagenlogische Beweissysteme
Vortrag zur Verteidigung der Dissertation,
Humboldt-Universität zu Berlin, July 2006.

Tuples of Disjoint NP-Sets
1st International Computer Science Symposium in Russia (CSR)
, St.Petersburg (Russia), June 2006.

Disjoint NP Pairs from propositional proof systems
3rd Conference on Theory and Applications of Models of Computation (TAMC)
, Beijing (China), May 2006.

Representable Disjoint NP-Pairs
24th Conference on Foundations of Software Technology & Theoretical Computer Science (FST&TCS), Chennai (India), December 2004.