Publicaciones en las que colabora con Salvador Lucas Alba (3)

2012

  1. SAT modulo linear arithmetic for solving polynomial constraints

    Journal of Automated Reasoning, Vol. 48, Núm. 1, pp. 107-131

2009

  1. 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

  1. Recursive path orderings can be context-sensitive

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)