Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Sebastian
Last name:	Müller
DBLP:	35/1768
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 7 of 7  

Select a publication
Show	Title	Venue	Rating	Date
	Olaf Beyersdorff, Sebastian Müller. Does Advice Help to Prove Propositional Tautologies?	Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings 2009	(0)	2009
	Olaf Beyersdorff, Johannes Köbler, Sebastian Müller. Nondeterministic Instance Complexity and Proof Systems with Advice.	Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings 2009	(0)	2009
	Olaf Beyersdorff, Sebastian Müller. A Tight Karp-Lipton Collapse Result in Bounded Arithmetic.	Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings 2008	(0)	2008
	Olaf Beyersdorff, Johannes Köbler, Sebastian Müller. Nondeterministic Instance Complexity and Proof Systems with Advice.	Electronic Colloquium on Computational Complexity (ECCC) 2008, Volume 15	(0)	2008
	Michael Gläser, Sebastian Müller, Axel Rennoch, Peter Schmitting. Standardized TTCN-3 specifications for SIP-ISUP/ISDN interworking testing.	STTT 2008, Volume 10	(0)	2008
	Sebastian Müller, Arno Schödl. A Smart Algorithm for Column Chart Labeling.	Smart Graphics, 5th International Symposium, SG 2005, Frauenwörth Cloister, Germany, August 22-24, 2005, Proceedings 2005	(0)	2005
	Markus Hannebauer, Sebastian Müller. Distributed constraint optimization for medical appointment scheduling.	Agents 2001	(0)	2001

Your query returned 7 matches in the database.