Enric Rodríguez-Carbonell

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 13

Top Topics

Integer Linear Programming

Experimental Evaluation

Top Venues

IEEE Trans. Learn. Technol.

Publications

Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
IntSat: integer linear programming by conflict-driven constraint learning. Optim. Methods Softw. 39 (1) (2024)
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning. CoRR (2024)
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao
Speeding up Pseudo-Boolean Propagation. SAT (2024)
Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. LPAR (2023)
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Heuristic Approach to the Design of Optimal Cross-Docking Boxes. IEEE Access 9 (2021)
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Emma Rollon
Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving. IEEE Access 9 (2021)
Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell
Decision levels are stable: towards better SAT heuristics. LPAR (2020)
Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. CoRR (2020)
Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. ACM Trans. Comput. Log. 20 (4) (2019)
Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani
Corrections to "Jutge.org: Characteristics and Experiences". IEEE Trans. Learn. Technol. 12 (2) (2019)
Jordi Petit, Salvador Roura, Josep Carmona, Jordi Cortadella, Jordi Duch, Omer Giménez, Anaga Mani, Jan Mas, Enric Rodríguez-Carbonell, Enric Rubio, Enric de San Pedro, Divya Venkataramani
Jutge.org: Characteristics and Experiences. IEEE Trans. Learn. Technol. 11 (3) (2018)
Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving Termination Through Conditional Termination. TACAS (1) (2017)
Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Speeding up the Constraint-Based Method in Difference Logic. SAT (2016)
Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Compositional Safety Verification with Max-SMT. FMCAD (2015)
Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Compositional Safety Verification with Max-SMT. CoRR (2015)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger
A New Look at BDDs for Pseudo-Boolean Constraints. CoRR (2014)
Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving Non-termination Using Max-SMT. CAV (2014)
Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. SAT (2014)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. CP (2013)
Amalia Duch, Jordi Petit, Enric Rodríguez-Carbonell, Salvador Roura
Fun in CS2. CSEDU (2013)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. CP (2013)
Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio
SMT-Based Array Invariant Generation. VMCAI (2013)
Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Proving termination of imperative programs using Max-SMT. FMCAD (2013)
Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio
The recursive path and polynomial ordering for first-order and higher-order terms. J. Log. Comput. 23 (1) (2013)
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reason. 48 (1) (2012)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger
A New Look at BDDs for Pseudo-Boolean Constraints. J. Artif. Intell. Res. 45 (2012)
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
BDDs for Pseudo-Boolean Constraints - Revisited. SAT (2011)
Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reason. 46 (1) (2011)
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Cardinality Networks: a theoretical and empirical study. Constraints An Int. J. 16 (2) (2011)
Antoine Miné, Enric Rodríguez-Carbonell
Preface. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell
Hard problems in max-algebra, control theory, hypergraphs and other areas. Inf. Process. Lett. 110 (4) (2010)
Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell
Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) (2010)
Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. AI Commun. 23 (2-3) (2010)
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Cardinality Networks and Their Applications. SAT (2009)
Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. SAT (2009)
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)
Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Discret. Appl. Math. 156 (18) (2008)
Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell
The Max-Atom Problem and Its Relevance. LPAR (2008)
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR (2008)
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
The Barcelogic SMT Solver. CAV (2008)
Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. SAT (2008)
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)
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio
Challenges in Satisfiability Modulo Theories. RTA (2007)
Enric Rodríguez-Carbonell, Deepak Kapur
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64 (1) (2007)
Enric Rodríguez-Carbonell, Deepak Kapur
Generating all polynomial invariants in simple loops. J. Symb. Comput. 42 (4) (2007)
Enric Rodríguez-Carbonell, Ashish Tiwari
Generating Polynomial Invariants for Hybrid Systems. HSCC (2005)
Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN (2005)
Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS (2005)
Enric Rodríguez-Carbonell, Deepak Kapur
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. SAS (2004)
Enric Rodríguez-Carbonell, Deepak Kapur
Program Verification Using Automatic Generation of Invariants. ICTAC (2004)
Enric Rodríguez-Carbonell, Deepak Kapur
Automatic generation of polynomial loop. ISSAC (2004)