| |
| 2008 | ||
|---|---|---|
| 2 | EE | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp: Search Techniques for Rational Polynomial Orders. AISC/MKM/Calculemus 2008: 109-124 |
| 1 | EE | Salvador Lucas, Rafael Navarro-Marset: Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. Electr. Notes Theor. Comput. Sci. 206: 75-90 (2008) |
| 1 | Carsten Fuhs | [2] |
| 2 | Jürgen Giesl | [2] |
| 3 | Salvador Lucas | [1] [2] |
| 4 | Carsten Otto | [2] |
| 5 | Peter Schneider-Kamp | [2] |