The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Hertel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Alexander Hertel, Philipp Hertel, Alasdair Urquhart
    Formalizing Dangerous SAT Encodings. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:159-172 [Conf]

  4. The Resolution Width Problem is EXPTIME-Complete. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002