BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × Italy
1 × Spain
2 × United Kingdom
Collaborated with:
O.Beyersdorff I.Tzameret M.Schölzel H.T.Vierhaus J.Köbler A.Meier M.Thomas H.Vollmer
Talks about:
proposit (3) complex (2) system (2) proof (2) advic (2) nondeterminist (1) tautolog (1) multicor (1) hierarch (1) arithmet (1)

Person: Sebastian Müller

DBLP DBLP: M=uuml=ller:Sebastian

Contributed to:

PDP 20132013
LICS 20122012
SAT 20102010
LATA 20092009
SAT 20092009
CSL 20082008

Wrote 6 papers:

PDP-2013-MullerSV #fault #multi #towards
Towards a Graceful Degradable Multicore-System by Hierarchical Handling of Hard Errors (SM, MS, HTV), pp. 302–309.
LICS-2012-MullerT #random
Short Propositional Refutations for Dense Random 3CNF Formulas (SM, IT), pp. 501–510.
SAT-2010-BeyersdorffMMTV #complexity #logic #proving
Proof Complexity of Propositional Default Logic (OB, AM, SM, MT, HV), pp. 30–43.
LATA-2009-BeyersdorffKM #complexity #nondeterminism #proving
Nondeterministic Instance Complexity and Proof Systems with Advice (OB, JK, SM), pp. 164–175.
SAT-2009-BeyersdorffM #question
Does Advice Help to Prove Propositional Tautologies? (OB, SM), pp. 65–72.
CSL-2008-BeyersdorffM #bound
A Tight Karp-Lipton Collapse Result in Bounded Arithmetic (OB, SM), pp. 199–214.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.