Enric Rodríguez Carbonell - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Enric Rodríguez Carbonell' as author, editor, or advisor:

Practical algorithms for unsatisfiability proof and core generation in SAT solversRoberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. aicom, 23(2-3):145-157, 2010. [doi]
Proving termination of imperative programs using Max-SMTDaniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. FMCAD 2013: 218-225 [doi]
BDDs for Pseudo-Boolean Constraints - RevisitedIgnasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. sat 2011: 61-75 [doi]
A Framework for Certified Boolean Branch-and-Bound OptimizationJavier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. JAR, 46(1):81-102, 2011. [doi]
Compositional Safety Verification with Max-SMTMarc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. FMCAD 2015: 33-40
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebraMarc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell. DAM, 156(18):3506-3509, 2008. [doi]
Speeding up the Constraint-Based Method in Difference LogicLorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. sat 2016: 284-301 [doi]
SAT Modulo Linear Arithmetic for Solving Polynomial ConstraintsCristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. JAR, 48(1):107-131, 2012. [doi]
An Abstract Interpretation Approach for Automatic Generation of Polynomial InvariantsEnric Rodríguez-Carbonell, Deepak Kapur. SAS 2004: 280-295 [doi]
A Heuristic Approach to the Design of Optimal Cross-Docking BoxesRobert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. access, 9:122578-122588, 2021. [doi]
Decision levels are stable: towards better SAT heuristicsRobert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell. lpar 2020: 1-11 [doi]
PrefaceAntoine Miné, Enric Rodríguez-Carbonell. ENTCS, 267(1):1-2, 2010. [doi]
Automatic generation of polynomial invariants of bounded degree using abstract interpretationEnric Rodríguez-Carbonell, Deepak Kapur. SCP, 64(1):54-75, 2007. [doi]
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010Antoine Miné, Enric Rodríguez-Carbonell, editors, Volume 267 of Electronic Notes in Theoretical Computer Science, Elsevier, 2010. [doi]
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial SolversGermain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. sat 2008: 77-90 [doi]
Generating all polynomial invariants in simple loopsEnric Rodríguez-Carbonell, Deepak Kapur. JSC, 42(4):443-476, 2007. [doi]
Challenges in Satisfiability Modulo TheoriesRobert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. RTA 2007: 2-18 [doi]
Generation of Basic Semi-algebraic Invariants Using Convex PolyhedraRoberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella. SAS 2005: 19-34 [doi]
To Encode or to Propagate? The Best Choice for Each Constraint in SATIgnasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey. cp 2013: 97-106 [doi]
Fun in CS2Amalia Duch, Jordi Petit, Enric Rodríguez-Carbonell, Salvador Roura. csedu 2013: 437-442 [doi]
Analyzing Multiple Conflicts in SAT: An Experimental EvaluationAlbert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao. lpar 2023: 306-316 [doi]
The recursive path and polynomial ordering for first-order and higher-order termsMiquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio. logcom, 23(1):263-305, 2013. [doi]
Proving Termination Through Conditional TerminationCristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. TACAS 2017: 99-117 [doi]
The Barcelogic SMT SolverMiquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. cav 2008: 294-298 [doi]
Jutge.org: Characteristics and ExperiencesJordi 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. tlt, 11(3):321-333, 2018. [doi]
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and ExtensionsDaniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. sat 2014: 333-350 [doi]
The Max-Atom Problem and Its RelevanceMarc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell. lpar 2008: 47-61 [doi]
Branch and Bound for Boolean Optimization and the Generation of Optimality CertificatesJavier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. sat 2009: 453-466 [doi]
SMT-Based Array Invariant GenerationDaniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio. vmcai 2013: 169-188 [doi]
Semiring-Induced Propositional Logic: Definition and Basic AlgorithmsJavier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell. lpar 2010: 332-347 [doi]
Automatic generation of polynomial loopEnric Rodríguez-Carbonell, Deepak Kapur. issac 2004: 266-273 [doi]
Cardinality Networks: a theoretical and empirical studyRoberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. constraints, 16(2):195-221, 2011. [doi]
Proving Non-termination Using Max-SMTDaniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. cav 2014: 779-796 [doi]
A New Look at BDDs for Pseudo-Boolean ConstraintsIgnasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger. jair, 45:443-480, 2012. [doi]
Program Verification Using Automatic Generation of InvariantsEnric Rodríguez-Carbonell, Deepak Kapur. ictac 2005: 325-340 [doi]
Efficient Generation of Unsatisfiability Proofs and Cores in SATRoberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. lpar 2008: 16-30 [doi]
Employee Scheduling With SAT-Based Pseudo-Boolean Constraint SolvingRobert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Emma Rollon. access, 9:142095-142104, 2021. [doi]
Corrections to "Jutge.org: Characteristics and Experiences"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. tlt, 12(2):290, 2019. [doi]
Hard problems in max-algebra, control theory, hypergraphs and other areasMarc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell. ipl, 110(4):133-138, 2010. [doi]
Incomplete SMT Techniques for Solving Non-Linear Formulas over the IntegersCristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio. tocl, 20(4), 2019. [doi]
Generating Polynomial Invariants for Hybrid SystemsEnric Rodríguez-Carbonell, Ashish Tiwari. hybrid 2005: 590-605 [doi]
Cardinality Networks and Their ApplicationsRoberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. sat 2009: 167-180 [doi]
A Parametric Approach for Smaller and Better Encodings of Cardinality ConstraintsIgnasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell. cp 2013: 80-96 [doi]
Derivation of Non-structural Invariants of Petri Nets Using Abstract InterpretationRobert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella. apn 2005: 188-207 [doi]

runs on WebDSL