Rafael Navarro-Marset
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2008–2009
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CADE | Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. | Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodrguez-Carbonell, Albert Rubio |
| 2008 | AISC | Search Techniques for Rational Polynomial Orders. | Carsten Fuhs, Rafael Navarro-Marset, Carsten Otto, Jrgen Giesl, Salvador Lucas, Peter Schneider-Kamp |