Stephan Kottler

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Propositional Satisfiability

Recurring Patterns

Top Venues

Publications

Sebastian Burg, Stephan Kottler, Michael Kaufmann
Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). SAT (2012)
Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann
CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). SAT (2012)
Michael Kaufmann, Stephan Kottler
Beyond Unit Propagation in SAT Solving. SEA (2011)
Stephan Kottler
SAT Solving with Reference Points. SAT (2010)
Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann, Stephan Kottler
Visualization of Complex BPEL Models. Graph Drawing (2009)
Michael Kaufmann, Stephan Kottler
Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles. Graph Drawing (2009)
Stephan Kottler, Michael Kaufmann, Carsten Sinz
Computation of Renameable Horn Backdoors. SAT (2008)
Stephan Kottler, Michael Kaufmann, Carsten Sinz
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. SAT (2008)
Katharina Anna Lehmann, Stephan Kottler
Visualizing Large and Clustered Networks. Graph Drawing (2006)