 | 2008 |
|---|
| 6 |       | Philipp Hertel,
Fahiem Bacchus,
Toniann Pitassi,
Allen Van Gelder:
Clause Learning Can Effectively P-Simulate General Propositional Resolution.
AAAI 2008: 283-290 |
| 2007 |
|---|
| 5 |  | Philipp Hertel,
Toniann Pitassi:
Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling.
FOCS 2007: 137-149 |
| 4 | | Alexander Hertel,
Philipp Hertel,
Alasdair Urquhart:
Formalizing Dangerous SAT Encodings.
SAT 2007: 159-172 |
| 3 | | Philipp Hertel,
Toniann Pitassi:
Black-White Pebbling is PSPACE-Complete.
Electronic Colloquium on Computational Complexity (ECCC) 14(044): (2007) |
| 2 | | Philipp Hertel,
Toniann Pitassi:
An Exponential Time/Space Speedup For Resolution.
Electronic Colloquium on Computational Complexity (ECCC) 14(046): (2007) |
| 2002 |
|---|
| 1 | | 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 |
