Enric Rodríguez-Carbonell

Orcid: 0000-0003-1061-3954

According to our database1, Enric Rodríguez-Carbonell authored at least 47 papers between 2004 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
IntSat: integer linear programming by conflict-driven constraint learning.
Optim. Methods Softw., 2024

Speeding up Pseudo-Boolean Propagation.
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation.
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2021
Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving.
IEEE Access, 2021

A Heuristic Approach to the Design of Optimal Cross-Docking Boxes.
IEEE Access, 2021

2020
Decision levels are stable: towards better SAT heuristics.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers.
ACM Trans. Comput. Log., 2019

Corrections to "Jutge.org: Characteristics and Experiences".
IEEE Trans. Learn. Technol., 2019

2018
Jutge.org: Characteristics and Experiences.
IEEE Trans. Learn. Technol., 2018

2017
Proving Termination Through Conditional Termination.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Speeding up the Constraint-Based Method in Difference Logic.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

2015
Compositional Safety Verification with Max-SMT.
Proceedings of the Formal Methods in Computer-Aided Design, 2015

2014
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Proving Non-termination Using Max-SMT.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
The recursive path and polynomial ordering for first-order and higher-order terms.
J. Log. Comput., 2013

SMT-Based Array Invariant Generation.
Proceedings of the Verification, 2013

Proving termination of imperative programs using Max-SMT.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

Fun in CS2.
Proceedings of the CSEDU 2013, 2013

To Encode or to Propagate? The Best Choice for Each Constraint in SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2013

A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints.
J. Autom. Reason., 2012

A New Look at BDDs for Pseudo-Boolean Constraints.
J. Artif. Intell. Res., 2012

2011
A Framework for Certified Boolean Branch-and-Bound Optimization.
J. Autom. Reason., 2011

Cardinality Networks: a theoretical and empirical study.
Constraints An Int. J., 2011

BDDs for Pseudo-Boolean Constraints - Revisited.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010
Hard problems in max-algebra, control theory, hypergraphs and other areas.
Inf. Process. Lett., 2010

Preface.
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Practical algorithms for unsatisfiability proof and core generation in SAT solvers.
AI Commun., 2010

Semiring-Induced Propositional Logic: Definition and Basic Algorithms.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Cardinality Networks and Their Applications.
Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic.
Proceedings of the Automated Deduction, 2009

2008
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra.
Discret. Appl. Math., 2008

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

The Max-Atom Problem and Its Relevance.
Proceedings of the Logic for Programming, 2008

Efficient Generation of Unsatisfiability Proofs and Cores in SAT.
Proceedings of the Logic for Programming, 2008

A Write-Based Solver for SAT Modulo the Theory of Arrays.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

The Barcelogic SMT Solver.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Automatic generation of polynomial invariants of bounded degree using abstract interpretation.
Sci. Comput. Program., 2007

Generating all polynomial invariants in simple loops.
J. Symb. Comput., 2007

Challenges in Satisfiability Modulo Theories.
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2005
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra.
Proceedings of the Static Analysis, 12th International Symposium, 2005

Generating Polynomial Invariants for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Automatic generation of polynomial loop.
Proceedings of the Symbolic and Algebraic Computation, 2004

Program Verification Using Automatic Generation of Invariants.
Proceedings of the Theoretical Aspects of Computing, 2004


  Loading...