Philipp Hertel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2002–2008
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | AAAI | Clause Learning Can Effectively P-Simulate General Propositional Resolution. | Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder |
| 2007 | FOCS | Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling. | Philipp Hertel, Toniann Pitassi |
| 2007 | SAT | Formalizing Dangerous SAT Encodings. | Alexander Hertel, Philipp Hertel, Alasdair Urquhart |
| 2002 | ISAAC | An O(pn + 1.151 | Ulrike Stege, Iris van Rooij, Alexander Hertel, Philipp Hertel |