Enric Rodríguez-Carbonell

From MaRDI portal
Person:438575

Available identifiers

zbMath Open rodriguez-carbonell.enricMaRDI QIDQ438575

List of research outcomes





PublicationDate of PublicationType
IntSat: integer linear programming by conflict-driven constraint learning2024-08-12Paper
Proving Termination Through Conditional Termination2020-08-05Paper
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers2019-11-22Paper
Speeding up the Constraint-Based Method in Difference Logic2016-09-05Paper
SMT-Based Array Invariant Generation2014-11-03Paper
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions2014-09-26Paper
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints2014-05-12Paper
The recursive path and polynomial ordering for first-order and higher-order terms2013-04-19Paper
A New Look at BDDs for Pseudo-Boolean Constraints2012-12-03Paper
SAT modulo linear arithmetic for solving polynomial constraints2012-07-31Paper
BDDs for Pseudo-Boolean Constraints – Revisited2011-06-17Paper
Cardinality networks: a theoretical and empirical study2011-05-25Paper
A framework for certified Boolean branch-and-bound optimization2011-04-05Paper
Semiring-Induced Propositional Logic: Definition and Basic Algorithms2011-01-07Paper
Hard problems in max-algebra, control theory, hypergraphs and other areas2010-09-02Paper
Practical algorithms for unsatisfiability proof and core generation in SAT solvers2010-06-17Paper
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic2009-07-28Paper
Cardinality Networks and Their Applications2009-07-07Paper
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates2009-07-07Paper
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra2009-03-04Paper
The Max-Atom Problem and Its Relevance2009-01-27Paper
Efficient Generation of Unsatisfiability Proofs and Cores in SAT2009-01-27Paper
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers2008-05-27Paper
Challenges in Satisfiability Modulo Theories2008-01-02Paper
Generating all polynomial invariants in simple loops2007-10-23Paper
Automatic generation of polynomial invariants of bounded degree using abstract interpretation2007-01-22Paper
Static Analysis2006-10-31Paper
Applications and Theory of Petri Nets 20052005-12-14Paper
Theoretical Aspects of Computing - ICTAC 20042005-11-30Paper
Hybrid Systems: Computation and Control2005-11-11Paper
Static Analysis2005-08-24Paper
Automatic Generation of Polynomial Loop Invariants2005-03-14Paper

Research outcomes over time

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