Rafael Navarro-Marset

According to our database, Rafael Navarro-Marset authored at least 4 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Proving Termination Properties with mu-term.

Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas, Rafael Navarro-Marset

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.

Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio

Proceedings of the Automated Deduction, 2009

2008

Search Techniques for Rational Polynomial Orders.

Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jürgen Giesl, Salvador Lucas, Peter Schneider-Kamp

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers.

Salvador Lucas, Rafael Navarro-Marset

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007