| Cardinality networks: a theoretical and empirical study R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Constraints 16, 195-221, 2011 | 177 | 2011 |
| Generating all polynomial invariants in simple loops E Rodríguez-Carbonell, D Kapur Journal of Symbolic Computation 42 (4), 443-476, 2007 | 162 | 2007 |
| The Barcelogic SMT Solver: Tool Paper M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 131 | 2008 |
| Automatic generation of polynomial loop invariants: Algebraic foundations E Rodríguez-Carbonell, D Kapur Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004 | 126 | 2004 |
| Automatic generation of polynomial invariants of bounded degree using abstract interpretation E Rodríguez-Carbonell, D Kapur Science of Computer Programming 64 (1), 54-75, 2007 | 117 | 2007 |
| Generating polynomial invariants for hybrid systems E Rodríguez-Carbonell, A Tiwari Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005 | 94 | 2005 |
| Cardinality networks and their applications R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 91 | 2009 |
| A new look at BDDs for pseudo-Boolean constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, ... Journal of Artificial Intelligence Research 45, 443-480, 2012 | 88 | 2012 |
| An abstract interpretation approach for automatic generation of polynomial invariants E Rodríguez-Carbonell, D Kapur SAS 3148, 280-295, 2004 | 88 | 2004 |
| A parametric approach for smaller and better encodings of cardinality constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Principles and Practice of Constraint Programming: 19th International …, 2013 | 70 | 2013 |
| Proving termination of imperative programs using Max-SMT D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio 2013 Formal Methods in Computer-Aided Design, 218-225, 2013 | 63 | 2013 |
| SAT modulo linear arithmetic for solving polynomial constraints C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio Journal of Automated Reasoning 48 (1), 107-131, 2012 | 62 | 2012 |
| Proving non-termination using Max-SMT D Larraz, K Nimkar, A Oliveras, E Rodríguez-Carbonell, A Rubio Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 57 | 2014 |
| Program Verification Using Automatic Generation of Invariants, E Rodríguez-Carbonell, D Kapur Theoretical Aspects of Computing-ICTAC 2004: First International Colloquium …, 2005 | 56 | 2005 |
| Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ... Automated Deduction–CADE-22: 22nd International Conference on Automated …, 2009 | 54 | 2009 |
| Generation of basic semi-algebraic invariants using convex polyhedra R Bagnara, E Rodríguez-Carbonell, E Zaffanella Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005 | 54 | 2005 |
| Challenges in satisfiability modulo theories R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio Term Rewriting and Applications: 18th International Conference, RTA 2007 …, 2007 | 48 | 2007 |
| SMT-based array invariant generation D Larraz, E Rodríguez-Carbonell, A Rubio Verification, Model Checking, and Abstract Interpretation: 14th …, 2013 | 45 | 2013 |
| Jutge. org: Characteristics and experiences J Petit, S Roura, J Carmona, J Cortadella, J Duch, O Gimnez, A Mani, ... IEEE Transactions on Learning Technologies 11 (3), 321-333, 2017 | 40 | 2017 |
| SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers G Faure, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008 | 37 | 2008 |
