Enric Rodrguez-Carbonell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
12
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAT | WhyUnsat: A Practical Explanation Tool (Tool Paper). | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2025 | SAT | Symbolic Conflict Analysis in Pseudo-Boolean Optimization. | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2024 | SAT | Speeding up Pseudo-Boolean Propagation. | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2023 | LPAR | Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. | Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2020 | LPAR | Decision levels are stable: towards better SAT heuristics. | Robert Nieuwenhuis, Adri Lozano, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2017 | TACAS | Proving Termination Through Conditional Termination. | Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2016 | SAT | Speeding up the Constraint-Based Method in Difference Logic. | Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2015 | FMCAD | Compositional Safety Verification with Max-SMT. | Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | CAV | Proving Non-termination Using Max-SMT. | Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2014 | SAT | Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. | Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2013 | CP | A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2013 | CP | To Encode or to Propagate? The Best Choice for Each Constraint in SAT. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Peter J. Stuckey |
| 2013 | CSEDU | Fun in CS2. | Amalia Duch, Jordi Petit, Enric Rodrguez-Carbonell, Salvador Roura |
| 2013 | FMCAD | Proving termination of imperative programs using Max-SMT. | Daniel Larraz, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2013 | VMCAI | SMT-Based Array Invariant Generation. | Daniel Larraz, Enric Rodrguez-Carbonell, Albert Rubio |
| 2011 | SAT | BDDs for Pseudo-Boolean Constraints - Revisited. | Ignasi Abo, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2010 | LPAR | Semiring-Induced Propositional Logic: Definition and Basic Algorithms. | Javier Larrosa, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2009 | CADE | Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. | Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodrguez-Carbonell, Albert Rubio |
| 2009 | SAT | Cardinality Networks and Their Applications. | Roberto Asn, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2009 | SAT | Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. | Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2008 | CAV | The Barcelogic SMT Solver. | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2008 | FMCAD | A Write-Based Solver for SAT Modulo the Theory of Arrays. | Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Albert Rubio |
| 2008 | LPAR | Efficient Generation of Unsatisfiability Proofs and Cores in SAT. | Roberto Asn, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2008 | LPAR | The Max-Atom Problem and Its Relevance. | Marc Bezem, Robert Nieuwenhuis, Enric Rodrguez-Carbonell |
| 2008 | SAT | SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. | Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell |
| 2005 | SAS | Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. | Roberto Bagnara, Enric Rodrguez-Carbonell, Enea Zaffanella |
| 2004 | ICTAC | Program Verification Using Automatic Generation of Invariants. | Enric Rodrguez-Carbonell, Deepak Kapur |
| 2004 | ISSAC | Automatic generation of polynomial loop. | Enric Rodrguez-Carbonell, Deepak Kapur |
| 2004 | SAS | An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. | Enric Rodrguez-Carbonell, Deepak Kapur |