Cristina Borralleras

Cristina Borralleras

Universitat de Vic Universitat Central de Catalunya - Vic / Spain
Others
AD Scientific Index ID: 4341340
University of Vic - Central University of Catalonia
person_outline Cristina Borralleras's MOST POPULAR ARTICLES
1-) Complete monotonic semantic path orderingsC Borralleras, M Ferreira, A RubioAutomated Deduction-CADE-17: 17th International Conference on Automated …, 2000632000
2-) SAT modulo linear arithmetic for solving polynomial constraintsC Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A RubioJournal of Automated Reasoning 48 (1), 107-131, 2012612012
3-) Solving non-linear polynomial arithmetic via SAT modulo linear arithmeticC Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ...International Conference on Automated Deduction, 294-305, 2009542009
4-) Proving termination through conditional terminationC Borralleras, M Brockschmidt, D Larraz, A Oliveras, ...International Conference on Tools and Algorithms for the Construction and …, 2017422017
5-) Recursive path orderings can be context-sensitiveC Borralleras, S Lucas, A RubioInternational Conference on Automated Deduction, 314-331, 2002372002