Ara es mostren els items 1-13 de 13

    • Augmenting the power of (partial) MaxSat resolution with extension 

      Larrosa Bondia, Francisco Javier; Rollón Rico, Emma (AAAI Press, 2020)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      The refutation power of SAT and MaxSAT resolution is challenged by problems like the soft and hard Pigeon Hole Problem PHP for which short refutations do not exist. In this paper we augment the MaxSAT resolution proof ...
    • CBR and MBR techniques: review for an application in the emergencies domain 

      Merida-Campos, Carlos; Rollón Rico, Emma (2003-06-01)
      Report de recerca
      Accés obert
      The purpose of this document is to provide an in-depth analysis of current reasoning engine practice and the integration strategies of Case Based Reasoning and Model Based Reasoning that will be used in the design and ...
    • Choosing the root of the tree decomposition when solving WCSPs: preliminary results 

      Petrova, Aleksandra; Larrosa Bondia, Francisco Javier; Rollón Rico, Emma (IOS Press, 2021)
      Text en actes de congrés
      Accés obert
      In this paper we analyze the effect of selecting the root in a tree decomposition when using decomposition-based backtracking algorithms. We focus on optimization tasks for Graphical Models using the BTD algorithm. We show ...
    • Database design and administration 

      Abelló Gamazo, Alberto; Rodríguez González, María Elena; Rollón Rico, Emma (Edicions UPC, 2010)
      Llibre
      Accés restringit a la comunitat UPC
      It is assumed that the reader has previous knowledge on a conceptual modeling language as well as on relational databases.<br>This book is thought as a tool to make easy to follow a specific course on database design and ...
    • Decomposing utility functions in Bounded Max-Sum for distributed constraint optimization 

      Rollón Rico, Emma; Larrosa Bondia, Francisco Javier (Springer, 2014)
      Text en actes de congrés
      Accés obert
      Bounded Max-Sum is a message-passing algorithm for solving distributed Constraint Optimization Problems (DCOP) able to compute solutions with a guaranteed approximation ratio. In this paper we show that the introduction ...
    • Diseño y administración de bases de datos 

      Abelló Gamazo, Alberto; Rodríguez González, María Elena; Rollón Rico, Emma (Edicions UPC, 2006)
      Llibre
      Accés restringit als usuaris de la UB, UAB, UPC, UPF, UdG, UdL, URV, UOC, BC, UVic, UJI, URL, UIC
      Se asume que el lector ya tiene conocimientos previos de un lenguaje de modelado conceptual y de bases de datos relacionales. En este libro se aborda la problemática y la multiplicidad que supone obtener un esquema relacional ...
    • Employee scheduling with SAT-based pseudo-boolean constraint solving 

      Nieuwenhuis, Robert Lukas Mario; Oliveras Llunell, Albert; Rodríguez Carbonell, Enric; Rollón Rico, Emma (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Article
      Accés obert
      The aim of this paper is practical: to show that, for at least one important real-world problem, modern SAT-based technology can beat the extremely mature branch-and-cut solving methods implemented in well-known state-of-the-art ...
    • Introducció de tècniques d’aprenentatge col•laboratiu i semi-presencial en l’àmbit de bases de dades 

      Abelló Gamazo, Alberto; Urpí Tubella, Antoni; Rollón Rico, Emma; Rodríguez, M. Elena; Casany Guerrero, María José; Quer, Carme; Burgués Illa, Xavier; Martí, Carme (Universitat Politècnica de Catalunya. Institut de Ciències de l'Educació, 2008-02-07)
      Text en actes de congrés / Comunicació de congrés
      Accés obert
      Podem classificar les àrees d’actuació del projecte en tres grups diferents: 1) S'han reestructurat els temaris de les assignatures de tota la branca de “bases de dades” de la FIB. 2) S’han introduït activitats participatives ...
    • Limited discrepancy AND/OR search and its application to optimization tasks in graphical models 

      Larrosa Bondia, Francisco Javier; Rollón Rico, Emma; Dechter, Rina (AAAI Press (Association for the Advancement of Artificial Intelligence), 2016)
      Text en actes de congrés
      Accés obert
      Many combinatorial problems are solved with a Depth-First search (DFS) guided by a heuristic and it is well-known that this method is very fragile with respect to heuristic mistakes. One standard way to make DFS more robust ...
    • Multi-objective optimization in graphical models 

      Rollón Rico, Emma (Universitat Politècnica de Catalunya, 2008-11-03)
      Tesi
      Accés obert
      Many real-life optimization problems are combinatorial, i.e. they concern a choice of the best solution from a finite but exponentially large set of alternatives. Besides, the solution quality of many of these problems ...
    • New mini-bucket partitioning heuristics for bounding the probability of evidence 

      Rollón Rico, Emma; Dechter, Rina (2009)
      Text en actes de congrés
      Accés obert
      Mini-Bucket Elimination (MBE) is a well-known approximation algorithm deriving lower and upper bounds on quantities of interest over graphical models. It relies on a procedure that partitions a set of functions, called ...
    • Proof complexity for the maximum satisfiability problem and its use in SAT refutations 

      Rollón Rico, Emma; Larrosa Bondia, Francisco Javier (Oxford University Press, 2022-10)
      Article
      Accés obert
      MaxSAT, the optimization version of the well-known SAT problem, has attracted a lot of research interest in the past decade. Motivated by the many important applications and inspired by the success of modern SAT solvers, ...
    • Semiring-based mini-bucket partitioning schemes 

      Rollón Rico, Emma; Larrosa Bondia, Francisco Javier; Dechter, Rina (AAAI Press. Association for the Advancement of Artificial Intelligence, 2013)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Graphical models are one of the most prominent frameworks to model complex systems and efficiently query them. Their underlying algebraic properties are captured by a valuation structure that, most usually, is a semiring. ...