Enric Rodríguez-Carbonell Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reasoning 48(1): 107-131 (2012)
2011
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIgnasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: BDDs for Pseudo-Boolean Constraints - Revisited. SAT 2011: 61-75
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks: a theoretical and empirical study. Constraints 16(2): 195-221 (2011)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reasoning 46(1): 81-102 (2011)
2010
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell: Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) 2010: 332-347
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntoine Miné, Enric Rodríguez-Carbonell: Preface. Electr. Notes Theor. Comput. Sci. 267(1): 1-2 (2010)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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)
2009
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristina 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks and Their Applications. SAT 2009: 167-180
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell: The Max-Atom Problem and Its Relevance. LPAR 2008: 47-61
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermain 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell: Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Discrete Applied Mathematics 156(18): 3506-3509 (2008)
2007
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnric Rodríguez-Carbonell, Deepak Kapur: Generating all polynomial invariants in simple loops. J. Symb. Comput. 42(4): 443-476 (2007)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnric Rodríguez-Carbonell, Deepak Kapur: Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1): 54-75 (2007)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnric Rodríguez-Carbonell, Ashish Tiwari: Generating Polynomial Invariants for Hybrid Systems. HSCC 2005: 590-605
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella: Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN 2005: 188-207
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella: Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra. SAS 2005: 19-34
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnric Rodríguez-Carbonell, Deepak Kapur: Program Verification Using Automatic Generation of Invariants. ICTAC 2004: 325-340
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnric Rodríguez-Carbonell, Deepak Kapur: Automatic generation of polynomial loop. ISSAC 2004: 266-273
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnric Rodríguez-Carbonell, Deepak Kapur: An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. SAS 2004: 280-295

Coauthor Index

1Ignasi Abío [25]
2Roberto Javier Asín Achá (Roberto Asín) [13] [17] [21] [24]
3Roberto Bagnara [4]
4Marc Bezem [10] [12] [19]
5Miquel Bofill [14] [15]
6Cristina Borralleras [18] [26]
7Robert Clarisó [5]
8Jordi Cortadella [5]
9Germain Faure [11]
10Deepak Kapur [1] [2] [3] [7] [8]
11Javier Larrosa [16] [22] [23]
12Salvador Lucas [18] [26]
13Antoine Miné [20]
14Rafael Navarro-Marset [18]
15Robert Nieuwenhuis [9] [10] [11] [12] [13] [14] [15] [16] [17] [19] [21] [23] [24] [25]
16Albert Oliveras [9] [11] [13] [14] [15] [16] [17] [21] [22] [23] [24] [25] [26]
17Albert Rubio [9] [14] [15] [18] [26]
18Ashish Tiwari [6]
19Enea Zaffanella [4]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page