Visualizing Large and Clustered Networks. - Katharina Anna Lehmann; Stephan Kottler (GD, 2006)

Computation of Renameable Horn Backdoors. - Stephan Kottler; Michael Kaufmann 001; Carsten Sinz (SAT, 2008)

A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. - Stephan Kottler; Michael Kaufmann 001; Carsten Sinz (SAT, 2008)

Visualization of Complex BPEL Models. - Benjamin Albrecht; Philip Effinger; Markus Held; Michael Kaufmann 001; Stephan Kottler (GD, 2009)

Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles. - Michael Kaufmann 001; Stephan Kottler (GD, 2009)

SAT Solving with Reference Points. - Stephan Kottler (SAT, 2010)

Beyond Unit Propagation in SAT Solving. - Michael Kaufmann 001; Stephan Kottler (SEA, 2011)

Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). - Sebastian Burg; Stephan Kottler; Michael Kaufmann 001 (SAT, 2012)

CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). - Stephan Kottler; Christian Zielke; Paul Seitz; Michael Kaufmann 001 (SAT, 2012)

Advanced Methods for SAT Solving (Alternative Ansätze für das Lösen von SAT Instanzen) - Stephan Kottler (2013)