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

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)

2006

  1. Programming and languages J.UCS special issue with extended versions of selected papers from PROLE 2005: The fifth Spanish conference on programming and languages

    Journal of Universal Computer Science

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)