| |
| 2007 | ||
|---|---|---|
| 3 | EE | Philipp Hertel, Toniann Pitassi: Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling. FOCS 2007: 137-149 |
| 2 | EE | Alexander Hertel, Philipp Hertel, Alasdair Urquhart: Formalizing Dangerous SAT Encodings. SAT 2007: 159-172 |
| 2002 | ||
| 1 | EE | Ulrike Stege, Iris van Rooij, Alexander Hertel, Philipp Hertel: An O(pn + 1.151p)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover. ISAAC 2002: 249-261 |
| 1 | Alexander Hertel | [1] [2] |
| 2 | Toniann Pitassi | [3] |
| 3 | Iris van Rooij | [1] |
| 4 | Ulrike Stege | [1] |
| 5 | Alasdair Urquhart | [2] |