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 | EE | Philipp Hertel,
Toniann Pitassi:
Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling.
FOCS 2007: 137-149 |
4 | EE | Alexander Hertel,
Philipp Hertel,
Alasdair Urquhart:
Formalizing Dangerous SAT Encodings.
SAT 2007: 159-172 |
3 | EE | Philipp Hertel,
Toniann Pitassi:
Black-White Pebbling is PSPACE-Complete.
Electronic Colloquium on Computational Complexity (ECCC) 14(044): (2007) |
2 | EE | Philipp Hertel,
Toniann Pitassi:
An Exponential Time/Space Speedup For Resolution.
Electronic Colloquium on Computational Complexity (ECCC) 14(046): (2007) |
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 |