2008 | ||
---|---|---|
1 | 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 | Carsten Fuhs | [1] |
2 | Jürgen Giesl | [1] |
3 | Salvador Lucas | [1] |
4 | Rafael Navarro-Marset | [1] |
5 | Peter Schneider-Kamp | [1] |