| Cardinality networks: a theoretical and empirical study R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell Constraints 16, 195-221, 2011 | 192 | 2011 |
| Generating all polynomial invariants in simple loops E Rodríguez-Carbonell, D Kapur Journal of Symbolic Computation 42 (4), 443-476, 2007 | 174 | 2007 |
| 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 | 152 | 2004 |
| The Barcelogic SMT Solver: Tool Paper M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio International Conference on Computer Aided Verification, 294-298, 2008 | 137 | 2008 |
| 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 | 130 | 2007 |
| 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 | 105 | 2012 |
| 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 | 104 | 2009 |
| Generating polynomial invariants for hybrid systems E Rodríguez-Carbonell, A Tiwari International Workshop on Hybrid Systems: Computation and Control, 590-605, 2005 | 93 | 2005 |
| An abstract interpretation approach for automatic generation of polynomial invariants E Rodríguez-Carbonell, D Kapur International Static Analysis Symposium, 280-295, 2004 | 91 | 2004 |
| A parametric approach for smaller and better encodings of cardinality constraints I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell International Conference on Principles and Practice of Constraint …, 2013 | 81 | 2013 |
| 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 | 69 | 2014 |
| 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 | 67 | 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 | 64 | 2012 |
| Program Verification Using Automatic Generation of Invariants, E Rodríguez-Carbonell, D Kapur International Colloquium on Theoretical Aspects of Computing, 325-340, 2004 | 64 | 2004 |
| 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 | 55 | 2017 |
| Generation of basic semi-algebraic invariants using convex polyhedra R Bagnara, E Rodríguez-Carbonell, E Zaffanella International Static Analysis Symposium, 19-34, 2005 | 53 | 2005 |
| Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic C Borralleras, S Lucas, R Navarro-Marset, E Rodríguez-Carbonell, ... International Conference on Automated Deduction, 294-305, 2009 | 52 | 2009 |
| SMT-based array invariant generation D Larraz, E Rodríguez-Carbonell, A Rubio International Workshop on Verification, Model Checking, and Abstract …, 2013 | 48 | 2013 |
| Challenges in satisfiability modulo theories R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio International Conference on Rewriting Techniques and Applications, 2-18, 2007 | 46 | 2007 |
| Proving termination through conditional termination C Borralleras, M Brockschmidt, D Larraz, A Oliveras, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 45 | 2017 |
