Now showing items 1-12 of 12

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

      Larrosa Bondia, Francisco Javier; Rollón Rico, Emma (AAAI Press, 2020)
      Conference lecture
      Restricted access - publisher's policy
      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)
      External research report
      Open Access
      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)
      Conference report
      Open Access
      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)
      Book
      Restricted access to the UPC academic community
      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)
      Conference report
      Open Access
      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)
      Book
      Restricted access to UB, UAB, UPC, UPF, UdG, UdL, URV, UOC, BC, UVic, UJI, URL, UIC users
      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
      Open Access
      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)
      Conference report / Conference lecture
      Open Access
      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)
      Conference report
      Open Access
      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)
      Doctoral thesis
      Open Access
      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)
      Conference report
      Open Access
      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 ...
    • 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)
      Conference report
      Restricted access - publisher's policy
      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. ...