ALBERTO
RUBIO GIMENO
Catedrático de universidad
Universidad Politécnica de Valencia
Valencia, EspañaPublicaciones en colaboración con investigadores/as 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)