Periklis Papakonstantinou, Dominik Scheder and Hao Song
Overlays and Limited Memory Communication (full version)
CCC 2014

Joshua Brody, Sune Jakobsen, Dominik Scheder, and Peter Winkler
ITCS 2014

Dominik Scheder
Trivial, Tractable, ard. A Not So Sudden Complexity Jump in Neighborhood Restricted CNF Formulas
ISAAC 2013

Dominik Scheder
Unsatisfiable CNF Formulas Contain Many Conflicts
ISAAC 2013

Dominik Scheder and Li-Yang Tan
On the average sensitivity and density of k-CNF formulas
The final version publication is available at

Shiteng Chen, Dominik Scheder, Navid Talebanfard, and Bangsheng Tang
Exponential Lower Bounds for the PPSZ k-SAT Algorithm
SODA 2013

Gregory Gutin, Mark Jones, Dominik Scheder, and Anders Yeo
A New Bound for 3-Satisfiable MaxSat and its Algorithmic Application
Information and Computation 2013

Dominik Scheder
Algorithms and Extremal Properties of SAT and CSP (PhD Thesis)
July 2011

Robin A. Moser and Dominik Scheder
A Full Derandomization of Schöning's k-SAT Algorithm
STOC 2011

Timon Hertli, Robin A. Moser, and Dominik Scheder
Improving PPSZ for 3-SAT using Critical Variables
STACS 2011

Dominik Scheder
Unsatisfiable Linear CNF Formulas are Large and Complex
STACS 2010

Heidi Gebauer, Robin A. Moser, Dominik Scheder, Emo Welzl
The Lovász Local Lemma and Satisfiability
Efficient Algorithms 2009 (Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday)

Dominik Scheder, Philipp Zumstein
How many Conflicts does it need to be Unsatisfiable
SAT 2008
The final version publication is available at

Dominik Scheder
Guided Search and a Faster Deterministic Algorithm for 3-SAT
LATIN 2008
The final version publication is available at

Claudia Käppeli, Dominik Scheder
Partial Satisfaction of k-Satisfiable Formulas
EuroComb 2007

Dominik Scheder, Philipp Zumstein
Satisfiability with exponential families
SAT 2007
The final version publication is available at

Dominik Scheder
Approaches to Approximating the Minimum Weight k-Edge Connected Spanning Subgraph of a Mixed Graph
Master's Thesis, University of Colorado at Boulder, 2005. Advisor: Harold N. Gabow