Enric Rodríguez-Carbonell

Available identifiers

zbMath Open rodriguez-carbonell.enricMaRDI QIDQ438575

List of research outcomes

Publication	Date of Publication	Type
IntSat: integer linear programming by conflict-driven constraint learning	2024-08-12	Paper
Proving Termination Through Conditional Termination	2020-08-05	Paper
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers	2019-11-22	Paper
Speeding up the Constraint-Based Method in Difference Logic	2016-09-05	Paper
SMT-Based Array Invariant Generation	2014-11-03	Paper
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions	2014-09-26	Paper
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints	2014-05-12	Paper
The recursive path and polynomial ordering for first-order and higher-order terms	2013-04-19	Paper
A New Look at BDDs for Pseudo-Boolean Constraints	2012-12-03	Paper
SAT modulo linear arithmetic for solving polynomial constraints	2012-07-31	Paper
BDDs for Pseudo-Boolean Constraints – Revisited	2011-06-17	Paper
Cardinality networks: a theoretical and empirical study	2011-05-25	Paper
A framework for certified Boolean branch-and-bound optimization	2011-04-05	Paper
Semiring-Induced Propositional Logic: Definition and Basic Algorithms	2011-01-07	Paper
Hard problems in max-algebra, control theory, hypergraphs and other areas	2010-09-02	Paper
Practical algorithms for unsatisfiability proof and core generation in SAT solvers	2010-06-17	Paper
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic	2009-07-28	Paper
Cardinality Networks and Their Applications	2009-07-07	Paper
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates	2009-07-07	Paper
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra	2009-03-04	Paper
The Max-Atom Problem and Its Relevance	2009-01-27	Paper
Efficient Generation of Unsatisfiability Proofs and Cores in SAT	2009-01-27	Paper
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers	2008-05-27	Paper
Challenges in Satisfiability Modulo Theories	2008-01-02	Paper
Generating all polynomial invariants in simple loops	2007-10-23	Paper
Automatic generation of polynomial invariants of bounded degree using abstract interpretation	2007-01-22	Paper
Static Analysis	2006-10-31	Paper
Applications and Theory of Petri Nets 2005	2005-12-14	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Hybrid Systems: Computation and Control	2005-11-11	Paper
Static Analysis	2005-08-24	Paper
Automatic Generation of Polynomial Loop Invariants	2005-03-14	Paper

Research outcomes over time

This page was built for person: Enric Rodríguez-Carbonell