Stephan Kottler

Most-cited papers

A parallel portfolio SAT solver with lockless physical clause sharing
Stephan Kottler, M. Kaufmann
201130 citations
Semantic Scholar
SAT Solving with Reference Points
Stephan Kottler
2010International Conference on Theory and Applications of Satisfiability Testing14 citations
Semantic Scholar
Computation of Renameable Horn Backdoors
Stephan Kottler, M. Kaufmann, C. Sinz
2008International Conference on Theory and Applications of Satisfiability Testing13 citations
Semantic Scholar
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors
Stephan Kottler, M. Kaufmann, C. Sinz
2008International Conference on Theory and Applications of Satisfiability Testing12 citations
Semantic Scholar
Visualizing Large and Clustered Networks
Katharina A. Lehmann, Stephan Kottler
2006International Symposium Graph Drawing and Network Visualization12 citations Open access
Semantic Scholar
Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation)
S. Burg, Stephan Kottler, M. Kaufmann
2012International Conference on Theory and Applications of Satisfiability Testing11 citations
Semantic Scholar
Beyond Unit Propagation in SAT Solving
M. Kaufmann, Stephan Kottler
2011The Sea7 citations
Semantic Scholar
Visualization of Complex BPEL Models
Benjamin Albrecht, Philip Effinger, Markus Held, M. Kaufmann +1 more
2009International Symposium Graph Drawing and Network Visualization3 citations Open access
Semantic Scholar
Advanced methods for SAT solving
Stephan Kottler
20130 citations
Semantic Scholar
CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation)
Stephan Kottler, Christian Zielke, P. Seitz, M. Kaufmann
2012International Conference on Theory and Applications of Satisfiability Testing0 citations
Semantic Scholar
SApperloT Description of the sequential solver SApperloT and the parallel solver SArTagnan
Stephan Kottler
20110 citations
Semantic Scholar
Description of the Parallel Solver Sartagnan Submitted for the Sat-race 2010 Brief Overview of Sartagnan
Stephan Kottler, Eberhard Karls
20110 citations
Semantic Scholar
SApperloT Description of solver SApperloT submitted for the SAT-Race 2010
Stephan Kottler, Christian Zielke
20100 citations
Semantic Scholar
SApperloT Description of two solver versions submitted for the SAT-competition 2009
Stephan Kottler, Eberhard
20090 citations
Semantic Scholar
Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles
M. Kaufmann, Stephan Kottler
2009International Symposium Graph Drawing and Network Visualization0 citations Open access
Semantic Scholar