default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEnric Rodríguez-Carbonell
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j16]Robert Nieuwenhuis
, Albert Oliveras, Enric Rodríguez-Carbonell:
IntSat: integer linear programming by conflict-driven constraint learning. Optim. Methods Softw. 39(1): 169-196 (2024)- [c31]Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao:
Speeding up Pseudo-Boolean Propagation. SAT 2024: 22:1-22:18 - [i4]Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning. CoRR abs/2402.15522 (2024) - 2023
- [c30]Albert Oliveras, Enric Rodríguez-Carbonell, Rui Zhao:
Analyzing Multiple Conflicts in SAT: An Experimental Evaluation. LPAR 2023: 306-316 - 2021
- [j15]Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
A Heuristic Approach to the Design of Optimal Cross-Docking Boxes. IEEE Access 9: 122578-122588 (2021) - [j14]Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Emma Rollon:
Employee Scheduling With SAT-Based Pseudo-Boolean Constraint Solving. IEEE Access 9: 142095-142104 (2021) - 2020
- [c29]Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras, Enric Rodríguez-Carbonell:
Decision levels are stable: towards better SAT heuristics. LPAR 2020: 1-11 - [i3]Cristina Borralleras, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. CoRR abs/2008.13601 (2020)
2010 – 2019
- 2019
- [j13]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:
Corrections to "Jutge.org: Characteristics and Experiences". IEEE Trans. Learn. Technol. 12(2): 290 (2019) - [j12]Cristina Borralleras, Daniel Larraz, Enric Rodríguez-Carbonell, Albert Oliveras, Albert Rubio:
Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers. ACM Trans. Comput. Log. 20(4): 25:1-25:36 (2019) - 2018
- [j11]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:
Jutge.org: Characteristics and Experiences. IEEE Trans. Learn. Technol. 11(3): 321-333 (2018) - 2017
- [c28]Cristina Borralleras, Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Proving Termination Through Conditional Termination. TACAS (1) 2017: 99-117 - 2016
- [c27]Lorenzo Candeago, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Speeding up the Constraint-Based Method in Difference Logic. SAT 2016: 284-301 - 2015
- [c26]Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Compositional Safety Verification with Max-SMT. FMCAD 2015: 33-40 - [i2]Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Compositional Safety Verification with Max-SMT. CoRR abs/1507.03851 (2015) - 2014
- [c25]Daniel Larraz, Kaustubh Nimkar, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Proving Non-termination Using Max-SMT. CAV 2014: 779-796 - [c24]Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. SAT 2014: 333-350 - [i1]Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger:
A New Look at BDDs for Pseudo-Boolean Constraints. CoRR abs/1401.5860 (2014) - 2013
- [j10]Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio:
The recursive path and polynomial ordering for first-order and higher-order terms. J. Log. Comput. 23(1): 263-305 (2013) - [c23]Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. CP 2013: 80-96 - [c22]Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey:
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. CP 2013: 97-106 - [c21]Amalia Duch, Jordi Petit, Enric Rodríguez-Carbonell, Salvador Roura:
Fun in CS2. CSEDU 2013: 437-442 - [c20]Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Proving termination of imperative programs using Max-SMT. FMCAD 2013: 218-225 - [c19]Daniel Larraz, Enric Rodríguez-Carbonell, Albert Rubio:
SMT-Based Array Invariant Generation. VMCAI 2013: 169-188 - 2012
- [j9]Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger:
A New Look at BDDs for Pseudo-Boolean Constraints. J. Artif. Intell. Res. 45: 443-480 (2012) - [j8]Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reason. 48(1): 107-131 (2012) - 2011
- [j7]Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
Cardinality Networks: a theoretical and empirical study. Constraints An Int. J. 16(2): 195-221 (2011) - [j6]Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reason. 46(1): 81-102 (2011) - [c18]Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
BDDs for Pseudo-Boolean Constraints - Revisited. SAT 2011: 61-75 - 2010
- [j5]Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. AI Commun. 23(2-3): 145-157 (2010) - [j4]Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell:
Hard problems in max-algebra, control theory, hypergraphs and other areas. Inf. Process. Lett. 110(4): 133-138 (2010) - [c17]Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell:
Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) 2010: 332-347 - [c16]Antoine Miné, Enric Rodríguez-Carbonell:
Preface. NSAD@SAS 2010: 1-2 - [e1]Antoine Miné, Enric Rodríguez-Carbonell:
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 [contents]
2000 – 2009
- 2009
- [c15]Cristina Borralleras, Salvador Lucas, Rafael Navarro-Marset, Enric Rodríguez-Carbonell, Albert Rubio:
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic. CADE 2009: 294-305 - [c14]Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
Cardinality Networks and Their Applications. SAT 2009: 167-180 - [c13]Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. SAT 2009: 453-466 - 2008
- [j3]Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell:
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Discret. Appl. Math. 156(18): 3506-3509 (2008) - [c12]Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
The Barcelogic SMT Solver. CAV 2008: 294-298 - [c11]Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
A Write-Based Solver for SAT Modulo the Theory of Arrays. FMCAD 2008: 1-8 - [c10]Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30 - [c9]Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell:
The Max-Atom Problem and Its Relevance. LPAR 2008: 47-61 - [c8]Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell:
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. SAT 2008: 77-90 - 2007
- [j2]Enric Rodríguez-Carbonell, Deepak Kapur:
Generating all polynomial invariants in simple loops. J. Symb. Comput. 42(4): 443-476 (2007) - [j1]Enric Rodríguez-Carbonell, Deepak Kapur:
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1): 54-75 (2007) - [c7]Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18 - 2005
- [c6]Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella:
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN 2005: 188-207 - [c5]Enric Rodríguez-Carbonell, Ashish Tiwari:
Generating Polynomial Invariants for Hybrid Systems. HSCC 2005: 590-605 - [c4]Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella:
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34 - 2004
- [c3]Enric Rodríguez-Carbonell, Deepak Kapur:
Program Verification Using Automatic Generation of Invariants. ICTAC 2004: 325-340 - [c2]Enric Rodríguez-Carbonell, Deepak Kapur:
Automatic generation of polynomial loop. ISSAC 2004: 266-273 - [c1]Enric Rodríguez-Carbonell, Deepak Kapur:
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. SAS 2004: 280-295
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
