Enric Rodríguez-Carbonell

Generating all polynomial invariants in simple loops

Enric Rodríguez-Carbonell, Deepak Kapur · Journal of Symbolic Computation · 2007 · 131 citations

Natural Sciences, Computer Science, Mathematics +10

Cardinality Networks: a theoretical and empirical study

Roberto Asín‐Achá, Robert Nieuwenhuis, Albert Oliveras et al. · Constraints · 2011 · 124 citations

Computing, Computer Science, Computer Networks +11

Automatic Generation of Polynomial Loop Invariants

Enric Rodríguez-Carbonell, Deepak Kapur · 2004 · 111 citations

Natural Sciences, Computer Science, Mathematics +16

Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Enric Rodríguez-Carbonell, Deepak Kapur · Science of Computer Programming · 2006 · 100 citations

Computing, Computer Science, Algorithms +12

SAT Modulo Linear Arithmetic for Solving Polynomial Constraints

Cristina Borralleras, Salvador Lucas, Albert Oliveras et al. · Journal of Automated Reasoning · 2010 · 45 citations · Full text

Computing, Computer Science, Mathematics +8