 | 2009 |
| 18 |  | Cristina Borralleras,
Salvador Lucas,
Rafael Navarro-Marset,
Enric Rodríguez-Carbonell,
Albert Rubio:
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.
CADE 2009: 294-305 |
| 17 |  | Roberto Asín,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell:
Cardinality Networks and Their Applications.
SAT 2009: 167-180 |
| 16 |  | Javier Larrosa,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell:
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates.
SAT 2009: 453-466 |
| 2008 |
| 15 |  | Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
The Barcelogic SMT Solver.
CAV 2008: 294-298 |
| 14 |  | Miquel Bofill,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
A Write-Based Solver for SAT Modulo the Theory of Arrays.
FMCAD 2008: 1-8 |
| 13 |  | Roberto Asín,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell:
Efficient Generation of Unsatisfiability Proofs and Cores in SAT.
LPAR 2008: 16-30 |
| 12 |  | Marc Bezem,
Robert Nieuwenhuis,
Enric Rodríguez-Carbonell:
The Max-Atom Problem and Its Relevance.
LPAR 2008: 47-61 |
| 11 |  | Germain Faure,
Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell:
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.
SAT 2008: 77-90 |
| 10 |  | Marc Bezem,
Robert Nieuwenhuis,
Enric Rodríguez-Carbonell:
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra.
Discrete Applied Mathematics 156(18): 3506-3509 (2008) |
| 2007 |
| 9 |  | Robert Nieuwenhuis,
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio:
Challenges in Satisfiability Modulo Theories.
RTA 2007: 2-18 |
| 8 |  | Enric Rodríguez-Carbonell,
Deepak Kapur:
Generating all polynomial invariants in simple loops.
J. Symb. Comput. 42(4): 443-476 (2007) |
| 7 |  | Enric Rodríguez-Carbonell,
Deepak Kapur:
Automatic generation of polynomial invariants of bounded degree using abstract interpretation.
Sci. Comput. Program. 64(1): 54-75 (2007) |
| 2005 |
| 6 |  | Enric Rodríguez-Carbonell,
Ashish Tiwari:
Generating Polynomial Invariants for Hybrid Systems.
HSCC 2005: 590-605 |
| 5 |  | Robert Clarisó,
Enric Rodríguez-Carbonell,
Jordi Cortadella:
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
ICATPN 2005: 188-207 |
| 4 |  | Roberto Bagnara,
Enric Rodríguez-Carbonell,
Enea Zaffanella:
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.
SAS 2005: 19-34 |
| 2004 |
| 3 |  | Enric Rodríguez-Carbonell,
Deepak Kapur:
Program Verification Using Automatic Generation of Invariants.
ICTAC 2004: 325-340 |
| 2 |  | Enric Rodríguez-Carbonell,
Deepak Kapur:
Automatic generation of polynomial loop.
ISSAC 2004: 266-273 |
| 1 |  | Enric Rodríguez-Carbonell,
Deepak Kapur:
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.
SAS 2004: 280-295 |