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

Alexander Hertel

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

2007
4EEAlexander Hertel, Alasdair Urquhart: Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. CSL 2007: 527-541
3EEAlexander Hertel, Philipp Hertel, Alasdair Urquhart: Formalizing Dangerous SAT Encodings. SAT 2007: 159-172
2006
2EEAlexander Hertel, Alasdair Urquhart: The Resolution Width Problem is EXPTIME-Complete. Electronic Colloquium on Computational Complexity (ECCC) 13(133): (2006)
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

1Philipp Hertel [1] [3]
2Iris van Rooij [1]
3Ulrike Stege [1]
4Alasdair Urquhart [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)