dblp.uni-trier.dewww.uni-trier.de

Philipp Hertel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Fahiem Bacchus [6]
2Allen Van Gelder [6]
3Alexander Hertel [1] [4]
4Toniann Pitassi [2] [3] [5] [6]
5Iris van Rooij [1]
6Ulrike Stege [1]
7Alasdair Urquhart [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)