We stand with Ukraine  

Sebastian Müller

Affiliations:
  • National Institute of Informatics (NII), Tokyo
  • Charles University, Prague, Faculty of Mathematics and Physics, Czech Republic
  • Humboldt University Berlin, Institute of Computer Science, Germany


According to our database1, Sebastian Müller authored at least 11 papers between 2005 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2014
Graph Structure and Parity Games.
[BibTeX]
[DOI]
Sebastian Müller
Electron. Colloquium Comput. Complex., 2014

Short propositional refutations for dense random 3CNF formulas.
[BibTeX]
[DOI]
Sebastian Müller
,
Iddo Tzameret
Ann. Pure Appl. Log., 2014

2013
Polylogarithmic Cuts in Models of V^0
[BibTeX]
[DOI]
Sebastian Müller
Log. Methods Comput. Sci., 2013

2011
Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas.
[BibTeX]
[DOI]
Sebastian Müller
,
Iddo Tzameret
Electron. Colloquium Comput. Complex., 2011

Proof complexity of propositional default logic.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Arne Meier
,
Sebastian Müller
,
Michael Thomas
,
Heribert Vollmer
Arch. Math. Log., 2011

2010
A tight Karp-Lipton collapse result in bounded arithmetic.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Sebastian Müller
ACM Trans. Comput. Log., 2010

Different Approaches to Proof Systems.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Sebastian Müller
Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010

2009
Proof Systems that Take Advice.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Johannes Köbler
,
Sebastian Müller
Electron. Colloquium Comput. Complex., 2009

Does Advice Help to Prove Propositional Tautologies?
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Sebastian Müller
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008
Nondeterministic Instance Complexity and Proof Systems with Advice.
[BibTeX]
[DOI]
Olaf Beyersdorff
,
Johannes Köbler
,
Sebastian Müller
Electron. Colloquium Comput. Complex., 2008

2005
A Smart Algorithm for Column Chart Labeling.
[BibTeX]
[DOI]
Sebastian Müller
,
Arno Schödl
Proceedings of the Smart Graphics, 5th International Symposium, 2005


  Loading...