Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Komplexität und Kryptografie

Sebastian Müller

Wissenschaftlicher Mitarbeiter
Bild von Sebastian Müller
Raum: 4.014
Telefon: +49 30 2093 3919
Email: smueller (at) informatik.hu-berlin.de

Homepage an der Karls-Universität Prag

Interessengebiete

  • Komplexitätstheorie
  • aussagenlogische Beweistheorie und Beweiskomplexität
  • beschränkte Arithmetik

Mitarbeiter im Forschungsprojekt Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)



Veröffentlichungen


2008


A Tight Karp-Lipton Collapse in Bounded Arithmetic
(Extended Abstract)
Mit Olaf Beyersdorff
Proc. 17th EACSL Annual Conference on Computer Science Logic (CSL), LNCS 5213, Pages 199-214, 2008.

2009


Nondeterministic Instance Complexity and Proof Systems with Advice
Mit Olaf Beyersdorff und Johannes Köbler
Proc. 3rd International Conference on Language and Automata Theory and Applications (LATA), Springer-Verlag, LNCS 5457, Pages 164 - 175, 2009.

Does Advice Help to Prove Propositional Tautologies?
Mit Olaf Beyersdorff
2009