Alexander Hertel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2002–2007
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CSL | Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. | Alexander Hertel, Alasdair Urquhart |
| 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 |