|
Search the dblp DataBase
Alexander Hertel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ulrike 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. [Citation Graph (0, 0)][DBLP] ISAAC, 2002, pp:249-261 [Conf]
- Alexander Hertel, Alasdair Urquhart
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space. [Citation Graph (0, 0)][DBLP] CSL, 2007, pp:527-541 [Conf]
- Alexander Hertel, Philipp Hertel, Alasdair Urquhart
Formalizing Dangerous SAT Encodings. [Citation Graph (0, 0)][DBLP] SAT, 2007, pp:159-172 [Conf]
The Resolution Width Problem is EXPTIME-Complete. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|