Sebastian Müller

18 papers A* 1A 2B 1C 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2014 J jnl
Graph Structure and Parity Games.
Electron. Colloquium Comput. Complex.
Sebastian Müller
2014 J jnl
Short propositional refutations for dense random 3CNF formulas.
Ann. Pure Appl. Log.
Sebastian Müller, Iddo Tzameret
2013 J jnl
Polylogarithmic Cuts in Models of V^0
Log. Methods Comput. Sci.
Sebastian Müller
2012 A* conf
Short Propositional Refutations for Dense Random 3CNF Formulas.
LICS
Sebastian Müller, Iddo Tzameret
2011 J jnl
Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas
CoRR
Sebastian Müller, Iddo Tzameret
2011 J jnl
Average-Case Separation in Proof Complexity: Short Propositional Refutations for Random 3CNF Formulas.
Electron. Colloquium Comput. Complex.
Sebastian Müller, Iddo Tzameret
2011 J jnl
Proof complexity of propositional default logic.
Arch. Math. Log.
Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer
2011 J jnl
Proof systems that take advice.
Inf. Comput.
Olaf Beyersdorff, Johannes Köbler, Sebastian Müller
2010 J jnl
A tight Karp-Lipton collapse result in bounded arithmetic.
ACM Trans. Comput. Log.
Olaf Beyersdorff, Sebastian Müller
2010 C conf
Different Approaches to Proof Systems.
TAMC
Olaf Beyersdorff, Sebastian Müller
2010 — conf
Proof Complexity of Propositional Default Logic.
Circuits, Logic, and Games
Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer
2010 A conf
Proof Complexity of Propositional Default Logic.
SAT
Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer
2009 A conf
Does Advice Help to Prove Propositional Tautologies?
SAT
Olaf Beyersdorff, Sebastian Müller
2009 C conf
Nondeterministic Instance Complexity and Proof Systems with Advice.
LATA
Olaf Beyersdorff, Johannes Köbler, Sebastian Müller
2009 J jnl
Proof Systems that Take Advice.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Johannes Köbler, Sebastian Müller
2008 B conf
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic.
CSL
Olaf Beyersdorff, Sebastian Müller
2008 J jnl
Nondeterministic Instance Complexity and Proof Systems with Advice.
Electron. Colloquium Comput. Complex.
Olaf Beyersdorff, Johannes Köbler, Sebastian Müller
2005 — conf
A Smart Algorithm for Column Chart Labeling.
Smart Graphics
Sebastian Müller, Arno Schödl