| 2006 |
|---|
| 6 | EE | Christoph Meinel,
Volker Klotz:
The first 10 years of the ECCC digital library.
Commun. ACM 49(1): 131-134 (2006) |
| 2004 |
|---|
| 5 | EE | Mohammad GhasemZadeh,
Volker Klotz,
Christoph Meinel:
Embedding Memoization to the Semantic Tree Search for Deciding QBFs.
Australian Conference on Artificial Intelligence 2004: 681-693 |
| 4 | | Volker Klotz,
Christoph Meinel:
10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung
Universität Trier, Mathematik/Informatik, Forschungsbericht 04-05: (2004) |
| 2002 |
|---|
| 3 | EE | Thomas Eiter,
Volker Klotz,
Hans Tompits,
Stefan Woltran:
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
TABLEAUX 2002: 100-114 |
| 2001 |
|---|
| 2 | EE | Uwe Egly,
Thomas Eiter,
Volker Klotz,
Hans Tompits,
Stefan Woltran:
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Answer Set Programming 2001 |
| 2000 |
|---|
| 1 | | Uwe Egly,
Thomas Eiter,
Volker Klotz,
Hans Tompits,
Stefan Woltran:
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
15. WLP 2000: 113-122 |
