×

zbMATH — the first resource for mathematics

Rodríguez-Carbonell, Enric

Compute Distance To:
Author ID: rodriguez-carbonell.enric Recent zbMATH articles by "Rodríguez-Carbonell, Enric"
Published as: Rodríguez-Carbonell, E.; Rodríguez-Carbonell, Enric
Documents Indexed: 32 Publications since 2004, including 1 Book

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 159 times in 121 Documents Cited by Year
Generating all polynomial invariants in simple loops. Zbl 1121.13034
Rodríguez-Carbonell, E.; Kapur, D.
19
2007
Automatic generation of polynomial loop invariants: algebraic foundations. Zbl 1108.13310
Rodríguez-Carbonell, Enric; Kapur, Deepak
13
2004
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
12
2011
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Zbl 1171.68555
Rodríguez-Carbonell, E.; Kapur, D.
12
2007
Hard problems in max-algebra, control theory, hypergraphs and other areas. Zbl 1206.68284
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
10
2010
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Zbl 1178.68637
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
The max-atom problem and its relevance. Zbl 1182.68219
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Cardinality networks and their applications. Zbl 1247.68244
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
7
2009
Program verification using automatic generation of invariants. Zbl 1108.68520
Rodríguez-Carbonell, Enric; Kapur, Deepak
7
2005
An abstract interpretation approach for automatic generation of polynomial invariants. Zbl 1104.68022
Rodríguez-Carbonell, Enric; Kapur, Deepak
7
2004
Generating polynomial invariants for hybrid systems. Zbl 1078.93026
Rodríguez-Carbonell, Enric; Tiwari, Ashish
6
2005
Challenges in satisfiability modulo theories. Zbl 1203.68189
Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
5
2007
Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea
5
2005
Minimal-model-guided approaches to solving polynomial constraints and extensions. Zbl 1423.68457
Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
4
2014
Efficient generation of unsatisfiability proofs and cores in SAT. Zbl 1182.68215
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers. Zbl 1138.68537
Faure, Germain; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
A new look at BDDs for pseudo-Boolean constraints. Zbl 1252.68267
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Mayer-Eichberger, Valentin
3
2012
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
SMT-based array invariant generation. Zbl 1426.68056
Larraz, Daniel; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
A parametric approach for smaller and better encodings of cardinality constraints. Zbl 1432.68412
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2013
The recursive path and polynomial ordering for first-order and higher-order terms. Zbl 1284.68318
Bofill, Miquel; Borralleras, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
A framework for certified Boolean branch-and-bound optimization. Zbl 1213.68581
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2011
Semiring-induced propositional logic: definition and basic algorithms. Zbl 1284.03209
Larrosa, Javier; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. Zbl 1208.68195
Asín Achá, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Branch and bound for Boolean optimization and the generation of optimality certificates. Zbl 1247.68255
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2009
BDDs for pseudo-Boolean constraints – revisited. Zbl 1330.68098
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
1
2011
Minimal-model-guided approaches to solving polynomial constraints and extensions. Zbl 1423.68457
Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
4
2014
SMT-based array invariant generation. Zbl 1426.68056
Larraz, Daniel; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
A parametric approach for smaller and better encodings of cardinality constraints. Zbl 1432.68412
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2013
The recursive path and polynomial ordering for first-order and higher-order terms. Zbl 1284.68318
Bofill, Miquel; Borralleras, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert
2
2013
A new look at BDDs for pseudo-Boolean constraints. Zbl 1252.68267
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Mayer-Eichberger, Valentin
3
2012
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
12
2011
A framework for certified Boolean branch-and-bound optimization. Zbl 1213.68581
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2011
BDDs for pseudo-Boolean constraints – revisited. Zbl 1330.68098
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
1
2011
Hard problems in max-algebra, control theory, hypergraphs and other areas. Zbl 1206.68284
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
10
2010
Semiring-induced propositional logic: definition and basic algorithms. Zbl 1284.03209
Larrosa, Javier; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. Zbl 1208.68195
Asín Achá, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic. Zbl 1250.68184
Borralleras, Cristina; Lucas, Salvador; Navarro-Marset, Rafael; Rodríguez-Carbonell, Enric; Rubio, Albert
7
2009
Cardinality networks and their applications. Zbl 1247.68244
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
7
2009
Branch and bound for Boolean optimization and the generation of optimality certificates. Zbl 1247.68255
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2009
Exponential behaviour of the Butkovič-Zimmermann algorithm for solving two-sided linear systems in max-algebra. Zbl 1178.68637
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
The max-atom problem and its relevance. Zbl 1182.68219
Bezem, Marc; Nieuwenhuis, Robert; Rodríguez-Carbonell, Enric
8
2008
Efficient generation of unsatisfiability proofs and cores in SAT. Zbl 1182.68215
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers. Zbl 1138.68537
Faure, Germain; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
Generating all polynomial invariants in simple loops. Zbl 1121.13034
Rodríguez-Carbonell, E.; Kapur, D.
19
2007
Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Zbl 1171.68555
Rodríguez-Carbonell, E.; Kapur, D.
12
2007
Challenges in satisfiability modulo theories. Zbl 1203.68189
Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
5
2007
Program verification using automatic generation of invariants. Zbl 1108.68520
Rodríguez-Carbonell, Enric; Kapur, Deepak
7
2005
Generating polynomial invariants for hybrid systems. Zbl 1078.93026
Rodríguez-Carbonell, Enric; Tiwari, Ashish
6
2005
Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea
5
2005
Automatic generation of polynomial loop invariants: algebraic foundations. Zbl 1108.13310
Rodríguez-Carbonell, Enric; Kapur, Deepak
13
2004
An abstract interpretation approach for automatic generation of polynomial invariants. Zbl 1104.68022
Rodríguez-Carbonell, Enric; Kapur, Deepak
7
2004
all top 5

Cited by 259 Authors

7 Gaubert, Stéphane
7 Rodríguez-Carbonell, Enric
6 Kapur, Deepak
5 Allamigeon, Xavier
5 L’vov, M. S.
5 Nieuwenhuis, Robert
5 Oliveras, Albert
4 Lucas, Salvador
4 Rubio, Albert
4 Zhan, Naijun
3 Butkovič, Peter
3 Codish, Michael
3 Grigor’ev, Dmitriĭ Yur’evich
3 Katz, Ricardo David
3 Sankaranarayanan, Sriram
3 Weidenbach, Christoph
3 Xia, Bican
3 Xu, Ming
3 Zeng, Zhenbing
2 Ábrahám, Erika
2 Aharon, Shir
2 Benchimol, Pascal
2 Bodirsky, Manuel
2 Boreale, Michele
2 Borralleras, Cristina
2 Bouissou, Olivier
2 Bromberger, Martin
2 Buchberger, Bruno
2 Chapoutot, Alexandre
2 Giesl, Jürgen
2 Gutiérrez, Raúl
2 Joswig, Michael
2 Karpiński, Michał
2 Larraz, Daniel
2 Larrosa, Javier
2 Li, Mengjun
2 Li, Zhibin
2 Lin, Wang
2 Mamino, Marcello
2 Marques-Silva, João P.
2 Matringe, Nadir
2 Mili, Ali
2 Moura, Arnaldo Vieira
2 Nadkarni, Chaitanya
2 Piotrów, Marek
2 Rebiha, Rachid
2 Schneider-Kamp, Peter
2 Sebastiani, Roberto
2 Seladji, Yassamine
2 Steinke, Peter
2 Yang, Zhengfeng
2 Zhang, Zhihai
2 Zhao, Hengjun
1 Abbott, John A.
1 Abío, Ignasi
1 Akian, Marianne
1 Alarcón, Beatriz
1 Albert, Elvira
1 Alberti, Francesco
1 Althaus, Ernst
1 Alviano, Mario
1 Ansótegui, Carlos
1 Asín Achá, Roberto
1 Atserias, Albert
1 Baader, Franz
1 Bagnara, Roberto
1 Banković, Milan
1 Becker, Bernd
1 Beleĭ, Evgeniya Gennad’evna
1 Bergenti, Federico
1 Bezem, Marc
1 Bigatti, Anna Maria
1 Blanchette, Jasmin Christian
1 Bofill, Miquel
1 Bogdanović, Stojan M.
1 Brain, Martin
1 Brockschmidt, Marc
1 Bruttomesso, Roberto
1 Candeago, Lorenzo
1 Chen, Shikun
1 Cimatti, Alessandro
1 Ćirić, Miroslav D.
1 Clarke, Edmund Melson jun.
1 Collavizza, Hélène
1 Correas, Jesús
1 Corzilius, Florian
1 Crǎciun, Adrian
1 Cruz-Filipe, Luís
1 Dai, Liyun
1 Davenport, James Harold
1 De Angelis, Emanuele
1 De Raedt, Luc
1 Demirović, Emir
1 Deters, Morgan
1 Ding, Zuohua
1 Dodaro, Carmine
1 Drescher, Conrad
1 Egly, Uwe
1 Ehlers, Thorsten
1 Elder, Matthew
...and 159 more Authors
all top 5

Cited in 40 Serials

8 Theoretical Computer Science
8 Constraints
6 Journal of Symbolic Computation
6 Cybernetics and Systems Analysis
5 Journal of Automated Reasoning
5 Formal Methods in System Design
4 Artificial Intelligence
4 Journal of Systems Science and Complexity
3 Annals of Operations Research
3 Theory and Practice of Logic Programming
2 Information Processing Letters
2 Journal of Optimization Theory and Applications
2 Information and Computation
2 Formal Aspects of Computing
2 International Journal of Algebra and Computation
2 Linear Algebra and its Applications
2 Computational Complexity
2 Journal of Applied Logic
1 Communications in Algebra
1 International Journal of General Systems
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Science of Computer Programming
1 Discrete & Computational Geometry
1 SIAM Journal on Matrix Analysis and Applications
1 SIAM Review
1 Annals of Mathematics and Artificial Intelligence
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 The Journal of Logic and Algebraic Programming
1 ACM Transactions on Computational Logic
1 Mathematics in Computer Science
1 Logical Methods in Computer Science
1 Nonlinear Analysis. Hybrid Systems
1 Science China. Information Sciences
1 Frontiers of Computer Science in China
1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Frontiers of Computer Science
1 SIAM Journal on Applied Algebra and Geometry

Citations by Year