FUTUR. Portal de la Producció Científica dels Investigadors de la UPC.

Rodríguez Carbonell, Enric

Total activitats: 56

Grup de recerca: LOGPROG - Lògica i Programació
Departament: Departament de Ciències de la Computació
Centre docent: Facultat d'Informàtica de Barcelona (FIB)
Facultat de Matemàtiques i Estadística (FME)

Correu electrònic: erodrics.upc.edu
Dades de contacte: Directori de la UPC

Orcid: 0000-0003-1061-3954
ResearcherID: H-5301-2015

Completa les teves dades

Producció científica

1 a 50 de 56 resultats

Ordenar per:

Jutge.org: characteristics and experiences
Petit, J.; Roura, S.; Carmona, J.; Cortadella, J.; Duch, A.; Giménez, O.; Mani, A.; Mas, J.; Rodriguez, E.; Rubio, A.; San Pedro, J. de; Venkataramani, D.
IEEE transactions on learning technologies
DOI: 10.1109/TLT.2017.2723389
Data de publicació: 2017-07-04
Article en revista
Programación lineal y lower bounding para la resolución de problemas de optimización combinatoria
Rodriguez, E.
Projecte R+D+I no competitiu
Speeding up the constraint-based method in difference logic
Candeago, L.; Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
International Conference on Theory and Applications of Satisfiability Testing
p. 284-301
DOI: 10.1007/978-3-319-40970-2_18
Data de presentació: 2016-07
Presentació treball a congrés
Soluciones Efectivas basadas en la Lógica
Rubio, A.; Larrosa, J.; Nieuwenhuis, R.; Messeguer, X.; Rivero, J.; Rollon, E.; Rodriguez, E.; Oliveras, A.; Borralleras, C.; Aloysisus, M.
Projecte R+D+I competitiu
Compositional safety verification with Max-SMT
Brockschmidt, M.; Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
International Conference on Formal Methods in Computer-Aided Design
p. 33-40
Data de presentació: 2015-09-28
Presentació treball a congrés
Minimal-model-guided approaches to solving polynomial constraints and extensions
Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
International Conference on Theory and Applications of Satisfiability Testing
p. 333-350
DOI: 10.1007/978-3-319-09284-3_25
Data de presentació: 2014-07
Presentació treball a congrés
Una aproximación declarativa al modelado, análisis y resolución de problemas
Rubio, A.; Rollon, E.; Larrosa, J.; Nieuwenhuis, R.; Messeguer, X.; Nivela, M.; Rivero, J.; Borralleras, C.; Rodriguez, E.; Oliveras, A.; Larraz, D.
Projecte R+D+I competitiu
Proving non-termination using max-SMT
Larraz, D.; Nimkar, K.; Oliveras, A.; Rodriguez, E.; Rubio, A.
International Conference on Computer Aided Verification
p. 779-796
DOI: 10.1007/978-3-319-08867-9_52
Presentació treball a congrés
Proving termination of imperative programs using Max-SMT
Larraz, D.; Oliveras, A.; Rodriguez, E.; Rubio, A.
International Conference on Formal Methods in Computer-Aided Design
p. 218-225
Data de presentació: 2013-10-23
Presentació treball a congrés
To encode or to propagate? The best choice for each constraint in SAT
Abio, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Stuckey, P.
International Conference on Principles and Practice of Constraint Programming
p. 97-106
DOI: 10.1007/978-3-642-40627-0_10
Data de presentació: 2013-09-16
Presentació treball a congrés
A parametric approach for smaller and better encodings of cardinality constraints
Abio, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
International Conference on Principles and Practice of Constraint Programming
p. 80-96
DOI: 10.1007/978-3-642-40627-0_9
Data de presentació: 2013-09-16
Presentació treball a congrés
Solving Hard Industrial Combinatorial Problems with SAT
Abío, I.
Universitat Politècnica de Catalunya
Tesi doctoral
Fun in CS2
Duch, A.; Petit, J.; Rodriguez, E.; Roura, S.
International Conference on Computer Supported Education
p. 437-442
DOI: 10.5220/0004389604370442
Data de presentació: 2013-05-07
Presentació treball a congrés
The recursive path and polynomial ordering for first-order and higher-order terms
Bofill, M.; Borralleras, C.; Rodriguez, E.; Rubio, A.
Journal of logic and computation
Vol. 23, num. 1, p. 263-305
DOI: 10.1093/logcom/exs027
Data de publicació: 2013-01-23
Article en revista
SMT-based array invariant generation
Larraz, D.; Rodriguez, E.; Rubio, A.
International Conference on Verification, Model Checking, and Abstract Interpretation
p. 169-188
Data de presentació: 2013-01-20
Presentació treball a congrés
A new look at BDDs for Pseudo-Boolean constraints
Abio, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Mayer, V.
Journal of artificial intelligence research
Vol. 45, num. 1, p. 443-480
DOI: 10.1613/jair.3653
Data de publicació: 2012
Article en revista
BDDs for Pseudo-Boolean Constraints
Abío, I.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
International Conference on Theory and Applications of Satisfiability Testing
p. 61-75
DOI: 10.1007/978-3-642-21581-0_7
Data de presentació: 2011-06-21
Presentació treball a congrés
Cardinality Networks: a Theoretical and Empirical Study
Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Constraints
Vol. 16, num. 2, p. 195-221
DOI: 10.1007/s10601-010-9105-0
Data de publicació: 2011-04
Article en revista
Sweetlogics-UPC
Rubio, A.; Messeguer, X.; Oliveira, A.; Abío, I.; Nivela, M.; Valles, B.; Godoy, G.; Rivero, J.; Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Larrosa, J.; Rollon, E.; Larraz, D.
Projecte R+D+I competitiu
Lógica para informáticos
Farre, R.; Nieuwenhuis, R.; Nivela, M.; Oliveras, A.; Rodriguez, E.; Sierra-Santibáñez, J.
Data de publicació: 2011
Llibre
SAT-BASED TECHNIQUES FOR COMBINATORIAL OPTIMIZATION
Asín, R.J.
Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
Tesi doctoral
SAT modulo linear arithmetic for solving polynomial constraints
Borralleras, C.; Lucas, S.; Oliveras, A.; Rodriguez, E.; Rubio, A.
Journal of automated reasoning
Vol. 48, num. 1, p. 107-131
DOI: 10.1007/s10817-010-9196-8
Data de publicació: 2010-09-04
Article en revista
Semiring-induced propositional logic: definition and basic algorithms
Larrosa, J.; Oliveras, A.; Rodriguez, E.
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
p. 332-347
DOI: 10.1007/978-3-642-17511-4_19
Data de presentació: 2010-04
Presentació treball a congrés
Practical algorithms for unsatisfiability proof and core generation in SAT solvers
Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
AI communications: the european journal of artificial intelligence
Vol. 23, num. 2-3, p. 145-157
DOI: 10.3233/AIC-2010-0462
Data de publicació: 2010
Article en revista
A framework for certified boolean branch-and-bound optimization
Larrosa, J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Journal of automated reasoning
Vol. 46, num. 1, p. 81-102
DOI: 10.1007/s10817-010-9176-z
Data de publicació: 2010
Article en revista
Hard problems in max-algebra, control theory, hypergraphs and other areas
Bezem, M.; Nieuwenhuis, R.; Rodriguez, E.
Information processing letters
Vol. 110, num. 4, p. 133-138
DOI: 10.1016/j.ipl.2009.11.007
Data de publicació: 2010-01
Article en revista
COST ACTION IC0901: RICH-MODEL TOOLKIT - AN INFRASTRUCTURE FOR RELIABLE COMPUTER SYSTEMS
Kuncak, V.; Rodriguez, E.
Projecte R+D+I competitiu
Cardinality networks and their applications
Asín, R.J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
International Conference on Theory and Applications of Satisfiability Testing
p. 167-180
DOI: 10.1007/978-3-642-02777-2_18
Data de presentació: 2009-06-30
Presentació treball a congrés
Solving non-linear polynomial arithmetic via SAT modulo linear arithmetic
Borralleras, C.; Lucas, S.; Navarro, R.; Rodriguez, E.; Rubio, A.
International Conference on Automated Deduction
p. 294-305
DOI: 10.1007/978-3-642-02959-2_23
Data de presentació: 2009
Presentació treball a congrés
Branch and bound for Boolean optimization and the generation of optimality certificates
Larrosa, J.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
International Conference on Theory and Applications of Satisfiability Testing
p. 453-466
DOI: 10.1007/978-3-642-02777-2_42
Data de presentació: 2009
Presentació treball a congrés
Efficient Generation of Unsatisfiability Proofs and Cores in SAT
Asin, R.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Lecture notes in computer science
Vol. 5330, p. 16-30
DOI: 10.1007/978-3-540-89439-1_2
Data de publicació: 2008-11
Article en revista
Exponential behaviour of the Butkovic-Zimmermann algorithm for solving two-sided linear systems in max-algebra
Bezem, M.; Nieuwenhuis, R.; Rodriguez, E.
Discrete applied mathematics
Vol. 156, num. 18, p. 3506-3509
DOI: 10.1016/j.dam.2008.03.016
Data de publicació: 2008-11
Article en revista
Efficient Generation of Unsatisfiability Proofs and Cores in SAT
Nieuwenhuis, R.; Rodriguez, E.
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
p. 16-30
Presentació treball a congrés
The Max-Atom Problem and its Relevance
Nieuwenhuis, R.; Rodriguez, E.
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
p. 47-61
DOI: 10.1007/978-3-540-89439-1_4
Presentació treball a congrés
A Write-Based Solver for SAT Modulo the Theory of Arrays
Bofill, M.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Rubio, A.
Formal Methods in Computer-Aided Design 2008 (FMCAD)
p. 1-8
DOI: 10.1109/FMCAD.2008.ECP.18
Data de presentació: 2008
Presentació treball a congrés
The Barcelogic SMT solver (Tool Paper)
Bofill, M.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Rubio, A.
International Conference on Computer Aided Verification
p. 294-298
DOI: 10.1007/978-3-540-70545-1_27
Data de presentació: 2008
Presentació treball a congrés
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers
Faure, G.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
International Conference on Theory and Applications of Satisfiability Testing
p. 77-90
DOI: 10.1007/978-3-540-79719-7_8
Presentació treball a congrés
LOGICTOOLS-2
Rubio, A.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Projecte R+D+I competitiu
Challenges in Satisfiability Modulo Theories
Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Rubio, A.
Lecture notes in computer science
Vol. 4533, num. 1, p. 2-18
DOI: 10.1007/978-3-540-73449-9_2
Data de publicació: 2007-06
Article en revista
Generating all polynomial invariants in simple loops
Rodriguez, E.; Kapur, D.
Journal of symbolic computation
Vol. 42, num. 4, p. 443-476
DOI: 10.1016/j.jsc.2007.01.002
Data de publicació: 2007-04
Article en revista
Automatic generation of polynomial invariants of bounded degree using abstract interpretation
Rodriguez, E.; Kapur, D.
Science of computer programming
Vol. 64, num. 1, p. 54-75
DOI: 10.1016/j.scico.2006.03.003
Data de publicació: 2007-01
Article en revista
Challenges in Satisfiability Modulo Theories
Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Rubio, A.
Term Rewriting and Applications, 18th International Conference, RTA 2007
p. 2-18
Presentació treball a congrés
AUTOMATIC GENERATION OF POLYNOMIAL INVARIANTS FOR SYSTEM VERIFICATION
Rodriguez, E.
Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
Tesi doctoral
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
Roberto, B.; Rodriguez, E.; Zaffanella, E.
Lecture notes in computer science
Vol. 3672, p. 19-34
Data de publicació: 2005-09
Article en revista
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
Clarisó, R.; Rodriguez, E.; Cortadella, J.
Lecture notes in computer science
Vol. 3536, p. 188-207
Data de publicació: 2005-06
Article en revista
Generation of basic semi-algebraic invariants using convex polyhedra
Bagnara, R.; Rodriguez, E.; Zaffanella, E.
Data: 2005-04
Document cientificotècnic
Generating Polynomial Invariants for Hybrid Systems
Rodriguez, E.; Ashish, T.
Lecture notes in computer science
Vol. 3414, p. 590-605
Data de publicació: 2005-03
Article en revista
Inference of Numerical Relations from Digital Circuits
Rodriguez, E.
First International Workshop on Numerical & Symbolic Abstract Domains
Data de presentació: 2005-01-21
Presentació treball a congrés
Generating Polynomial Invariants for Hybrid Systems
Rodriguez, E.; Ashish, T.
8th International Workshop on Hybrid Systems: Computation and Control
p. 590-605
Presentació treball a congrés
LOGICTOOLS
Rubio, A.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
Projecte R+D+I competitiu