Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Producció científica

1 a 50 de 54 resultats
 
  • 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  Accés obert

     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
    Accés al text complet
  • Minimal-model-guided approaches to solving polynomial constraints and extensions  Accés obert

     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
    Accés al text complet
  • Proving non-termination using max-SMT  Accés obert

     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
    Accés al text complet
  • 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 termination of imperative programs using Max-SMT  Accés obert

     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
    Accés al text complet
  • A parametric approach for smaller and better encodings of cardinality constraints  Accés obert

     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
    Accés al text complet
  • To encode or to propagate? The best choice for each constraint in SAT  Accés obert

     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
    Accés al text complet
  • Solving Hard Industrial Combinatorial Problems with SAT  Accés obert

     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
  • Lógica para informáticos

     Farre, R.; Nieuwenhuis, R.; Nivela, M.; Oliveras, A.; Rodriguez, E.; Sierra-Santibáñez, J.
    Data de publicació: 2011
    Llibre
    Imatge
  • Sweetlogics-UPC

     Rubio, A.; Valles, B.; Rivero, J.; Godoy, G.; Messeguer, X.; Asín, R.J.; Oliveira, A.; Abío, I.; Nivela, M.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.; Larraz, D.; Rollon, E.; Larrosa, J.
    Projecte R+D+I competitiu
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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 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
  • 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  Accés obert

     Bagnara, R.; Rodriguez, E.; Zaffanella, E.
    Data: 2005-04
    Document cientificotècnic
    Accés al text complet
  • 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
  • Program Verification Using Automatic Generation of Invariants

     Rodriguez, E.; Deepak, K.
    Lecture notes in computer science
    Vol. 3407, p. 325-340
    Data de publicació: 2004-12
    Article en revista
  • An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants

     Rodriguez, E.; Deepak, K.
    Lecture notes in computer science
    Vol. 3148, p. 280-295
    Data de publicació: 2004-08
    Article en revista