Stephan Kottler

According to our database, Stephan Kottler authored at least 10 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

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

Stephan Kottler

PhD thesis, 2013

2012

CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation).

Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation).

Sebastian Burg, Stephan Kottler, Michael Kaufmann

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Beyond Unit Propagation in SAT Solving.

Michael Kaufmann, Stephan Kottler

Proceedings of the Experimental Algorithms - 10th International Symposium, 2011

2010

SAT Solving with Reference Points.

Stephan Kottler

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles.

Michael Kaufmann, Stephan Kottler

Proceedings of the Graph Drawing, 17th International Symposium, 2009

Visualization of Complex BPEL Models.

Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann, Stephan Kottler

Proceedings of the Graph Drawing, 17th International Symposium, 2009

2008

A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.

Stephan Kottler, Michael Kaufmann, Carsten Sinz

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Computation of Renameable Horn Backdoors.

Stephan Kottler, Michael Kaufmann, Carsten Sinz

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2006

Visualizing Large and Clustered Networks.

Katharina Anna Lehmann, Stephan Kottler

Proceedings of the Graph Drawing, 14th International Symposium, 2006