Sebastian Müller
Wissenschaftlicher Mitarbeiter
Raum: 4.014
Telefon: +49 30 2093 3919
Email: smueller (at) informatik.hu-berlin.de
Homepage an der Karls-Universität Prag
Mitarbeiter im Forschungsprojekt Aussagenlogische Beweiskomplexität und disjunkte NP-Paare (2)
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.
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
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