Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Producció científica

1 a 47 de 47 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
  • 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  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
  • 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
  • 6 years of SMT-COMP

     Barrett, C.; Deters, M.; Moura, L.; Oliveras, A.; Stump, A.
    Journal of automated reasoning
    Vol. 50, num. 3, p. 243-277
    DOI: 10.1007/s10817-012-9246-5
    Data de publicació: 2013-03-01
    Article en revista
  • 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.; 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
  • 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
  • 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
  • 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
  • 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
  • Design and results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-COMP 2007)

     Barrett, C.; Deters, M.; Oliveras, A.; Stump, A.
    International journal on artificial intelligence tools
    Vol. 17, num. 4, p. 569-606
    DOI: 10.1142/S0218213008004060
    Data de publicació: 2008-08-01
    Article en revista
  • MINIMAXSAT: an efficient weighted Max-SAT solver

     Heras, F.; Larrosa, J.; Oliveras, A.
    Journal of artificial intelligence research
    Vol. 31, num. 1, p. 1-32
    Data de publicació: 2008-01
    Article en revista
  • 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
  • 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
  • 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
  • Fast congruence closure and extensions

     Nieuwenhuis, R.; Oliveras, A.
    Information and computation
    Vol. 205, num. 4, p. 557-580
    Data de publicació: 2007-04
    Article en revista
  • MiniMaxSat: a new weighted Max-SAT solver

     Heras, F.; Larrosa, J.; Oliveras, A.
    International Conference on Theory and Applications of Satisfiability Testing
    p. 41-55
    Presentació treball a congrés
  • 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
  • Solving SAT and SAT modulo theories: From an abstract davis - putnam - logemann - loveland procedure to DPLL(T)

     Nieuwenhuis, R.; Oliveras, A.; Tinelli, C.
    Journal of the ACM
    Vol. 53, num. 6, p. 937-977
    Data de publicació: 2006-11
    Article en revista
  • Splitting on Demand in SAT Modulo Theories

     Barrett, C.; Nieuwenhuis, R.; Oliveras, A.; Tinelli, C.
    Lecture notes in computer science
    num. 4246, p. 512-526
    Data de publicació: 2006-10
    Article en revista
  • SMT Techniques for Predicate Abstraction

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    num. 4144, p. 424-437
    Data de publicació: 2006-08
    Article en revista
  • On SAT Modulo Theories and Optimization Problems

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    num. 4121, p. 156-169
    Data de publicació: 2006-08
    Article en revista
  • THE DPLL(T) APPROACH TO SATISFIABILITY Y MODULO THEORIES

     Oliveras, A.
    Departament de Ciències de la Computació, Universitat Politècnica de Catalunya
    Tesi doctoral
  • Decision procedures for SAT, SAT Modulo Theories and Beyond.

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    Vol. 3835, p. 23-46
    Data de publicació: 2005-12
    Article en revista
  • DPLL(T) with Exhaustive Theory Propagation and its Application to Difference Logic

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    Vol. 3576, num. 3576, p. 321-334
    Data de publicació: 2005-07
    Article en revista
  • Proof-Producing Congruence closure

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    Vol. 3467, num. 3467, p. 453-468
    Data de publicació: 2005-04
    Article en revista
  • Abstract DPLL and Abstract DPLL Modulo Theories

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    Vol. 3452, num. 3452, p. 36-50
    Data de publicació: 2005-03
    Article en revista
  • LOGICTOOLS

     Rubio, A.; Nieuwenhuis, R.; Oliveras, A.; Rodriguez, E.
    Projecte R+D+I competitiu
  • DPLL(T): Fast Decision Procedures

     Nieuwenhuis, R.; Oliveras, A.; Tinelli, C.
    International Conference on Computer Aided Verification
    p. 175-188
    Presentació treball a congrés
  • Congruence Closure with Integer Offsets

     Nieuwenhuis, R.; Oliveras, A.
    Lecture notes in computer science
    Vol. 2850, p. 78-90
    Data de publicació: 2003-09
    Article en revista
  • MAVERISH. Modelización, análisis y verificación de sistemas heterogéneos

     Orejas, F.; Edelmira Pasarella; Oliveras, A.; Rodriguez, E.; Rubio, A.; Nieuwenhuis, R.
    Projecte R+D+I competitiu