Enric Rodríguez-Carbonell

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