 | 2011 |
|---|
| 7 |       | Michael Kaufmann,
Stephan Kottler:
Beyond Unit Propagation in SAT Solving.
SEA 2011: 267-279 |
| 2010 |
|---|
| 6 | | Stephan Kottler:
SAT Solving with Reference Points.
SAT 2010: 143-157 |
| 2009 |
|---|
| 5 | | Michael Kaufmann,
Stephan Kottler:
Proving or Disproving Planar Straight-Line Embeddability onto Given Rectangles.
Graph Drawing 2009: 419-420 |
| 4 | | Benjamin Albrecht,
Philip Effinger,
Markus Held,
Michael Kaufmann,
Stephan Kottler:
Visualization of Complex BPEL Models.
Graph Drawing 2009: 421-423 |
| 2008 |
|---|
| 3 | | Stephan Kottler,
Michael Kaufmann,
Carsten Sinz:
Computation of Renameable Horn Backdoors.
SAT 2008: 154-160 |
| 2 | | Stephan Kottler,
Michael Kaufmann,
Carsten Sinz:
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.
SAT 2008: 161-167 |
| 2006 |
|---|
| 1 | | Katharina Anna Lehmann,
Stephan Kottler:
Visualizing Large and Clustered Networks.
Graph Drawing 2006: 240-251 |
Data released under the ODC-BY 1.0 license — See also our legal information page