| * | 2009 |
|---|
| 3 | EE | Cristina Borralleras,
Salvador Lucas,
Rafael Navarro-Marset,
Enric Rodríguez-Carbonell,
Albert Rubio:
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.
CADE 2009: 294-305 |
| 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) |
