| |
| 2008 | ||
|---|---|---|
| 3 | EE | Stephan Kottler, Michael Kaufmann, Carsten Sinz: Computation of Renameable Horn Backdoors. SAT 2008: 154-160 |
| 2 | EE | 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 | EE | Katharina Anna Lehmann, Stephan Kottler: Visualizing Large and Clustered Networks. Graph Drawing 2006: 240-251 |
| 1 | Michael Kaufmann | [2] [3] |
| 2 | Katharina Anna Lehmann | [1] |
| 3 | Carsten Sinz | [2] [3] |