Philipp Hertel

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Philipp Hertel, Toniann Pitassi
The PSPACE-Completeness of Black-White Pebbling. SIAM J. Comput. 39 (6) (2010)
Philipp Hertel, Fahiem Bacchus, Toniann Pitassi, Allen Van Gelder
Clause Learning Can Effectively P-Simulate General Propositional Resolution. AAAI (2008)
Alexander Hertel, Philipp Hertel, Charles Morgan
A Sound and Complete Proof Theory for Propositional Logical Contingencies. Notre Dame J. Formal Log. 48 (4) (2007)
Alexander Hertel, Philipp Hertel, Alasdair Urquhart
Formalizing Dangerous SAT Encodings. SAT (2007)
Philipp Hertel, Toniann Pitassi
Exponential Time/Space Speedups for Resolution and the PSPACE-completeness of Black-White Pebbling. FOCS (2007)
Philipp Hertel, Toniann Pitassi
Black-White Pebbling is PSPACE-Complete. Electron. Colloquium Comput. Complex. 14 (044) (2007)
Philipp Hertel, Toniann Pitassi
An Exponential Time/Space Speedup For Resolution. Electron. Colloquium Comput. Complex. 14 (046) (2007)
Ulrike Stege, Iris van Rooij, Alexander Hertel, Philipp Hertel
)-Algorithm for p-Profit Cover and Its Practical Implications for Vertex Cover. ISAAC (2002)