ALBERTO
RUBIO GIMENO
Catedrático de universidad
![Foto de ALBERTO](/img/nophoto.png)
![Foto de Universidad Politécnica de Valencia](/img/noimage_org.png)
Universidad Politécnica de Valencia
Valencia, EspañaPublications en collaboration avec des chercheurs de Universidad Politécnica de Valencia (3)
2012
-
SAT modulo linear arithmetic for solving polynomial constraints
Journal of Automated Reasoning, Vol. 48, Núm. 1, pp. 107-131
2009
-
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002
-
Recursive path orderings can be context-sensitive
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)