| 2008 |
|---|
| 5 | EE | Patrick Traxler:
The Time Complexity of Constraint Satisfaction.
IWPEC 2008: 190-201 |
| 2006 |
|---|
| 4 | EE | Thomas Eiter,
Patrick Traxler,
Stefan Woltran:
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
JELIA 2006: 477-480 |
| 3 | | Thomas Eiter,
Michael Fink,
Hans Tompits,
Patrick Traxler,
Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming.
KR 2006: 340-351 |
| 2 | EE | Thomas Eiter,
Michael Fink,
Hans Tompits,
Patrick Traxler,
Stefan Woltran:
Replacements in Non-Ground Answer-Set Programming.
WLP 2006: 145-153 |
| 2005 |
|---|
| 1 | EE | Thomas Eiter,
Wolfgang Faber,
Patrick Traxler:
Testing Strong Equivalence of Datalog Programs - Implementation and Examples.
LPNMR 2005: 437-441 |
