Rafael Navarro-Marset

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset
Proving Termination Properties with mu-term. AMAST (2010)
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)
Salvador Lucas, Rafael Navarro-Marset
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. Electron. Notes Theor. Comput. Sci. 206 (2008)
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)