Dominik Scheder Vis

*	2009
9	EE	Heidi Gebauer, Robin A. Moser, Dominik Scheder, Emo Welzl: The Lovász Local Lemma and Satisfiability. Efficient Algorithms 2009: 30-54
8	EE	Dominik Scheder: Unsatisfiable Linear CNF Formulas Are Large, and Difficult to Construct Explicitely CoRR abs/0905.1587: (2009)
	2008
7	EE	Dominik Scheder: Guided Search and a Faster Deterministic Algorithm for 3-SAT. LATIN 2008: 60-71
6	EE	Dominik Scheder, Philipp Zumstein: How Many Conflicts Does It Need to Be Unsatisfiable?. SAT 2008: 246-256
5	EE	Dominik Scheder, Philipp Zumstein: An Improved Bound on the Number of Con flicts in Unsatisfiable k-CNF Formulas CoRR abs/0806.1148: (2008)
4	EE	Dominik Scheder: Satisfiability of Almost Disjoint CNF Formulas CoRR abs/0807.1282: (2008)
	2007
3	EE	Dominik Scheder, Philipp Zumstein: Satisfiability with Exponential Families. SAT 2007: 148-158
2	EE	Dominik Scheder: Unsatisfiable Linear k-CNFs Exist, for every k CoRR abs/0708.2336: (2007)
1	EE	Claudia Käppeli, Dominik Scheder: Partial Satisfaction of k-Satisfiable Formulas. Electronic Notes in Discrete Mathematics 29: 497-501 (2007)

Coauthor Index

1	Heidi Gebauer	[9]
2	Claudia Käppeli	[1]
3	Robin A. Moser	[9]
4	Emo Welzl	[9]
5	Philipp Zumstein	[3] [5] [6]

Colors in the list of coauthors