Stephan Kottler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
2006–2012
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | SAT | Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). | Sebastian Burg, Stephan Kottler, Michael Kaufmann |
| 2012 | SAT | CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). | Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann |
| 2010 | SAT | SAT Solving with Reference Points. | Stephan Kottler |
| 2009 | GD | Visualization of Complex BPEL Models. | Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann, Stephan Kottler |
| 2009 | GD | Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles. | Michael Kaufmann, Stephan Kottler |
| 2008 | SAT | Computation of Renameable Horn Backdoors. | Stephan Kottler, Michael Kaufmann, Carsten Sinz |
| 2008 | SAT | A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. | Stephan Kottler, Michael Kaufmann, Carsten Sinz |
| 2006 | GD | Visualizing Large and Clustered Networks. | Katharina Anna Lehmann, Stephan Kottler |