Exploració per altres contribucions "Oliveras Llunell, Albert"

Ara es mostren els items 1-8 de 8

    • Design and development of an AD-Server algorithm 

      Rivas i Thwaite, Cristòfol-Lluís (Universitat Politècnica de Catalunya, 2016-10)
      Treball Final de Grau
      Accés restringit per acord de confidencialitat

    • Generador d'horaris automàtic : aplicació web i algorisme 

      Coma Rosell, Ferran (Universitat Politècnica de Catalunya, 2017)
      Treball Final de Grau
      Accés restringit per acord de confidencialitat

    • Generar aliniacions d'un club de Tenis Taula 

      López Clavero, Eric (Universitat Politècnica de Catalunya, 2020-01-23)
      Treball Final de Grau
      Accés obert
      Els entrenadors de Tennis Taula s'enfronten setmanalment al problema de decidir quins jugadors competiran a les lligues durant el cap de setmana. Degudes diverses complicacions que es presenten en participar en competicions ...

    • Optimization Modulo Theories 

      Oliver Vendrell, Roc (Universitat Politècnica de Catalunya, 2011-01)
      Projecte Final de Màster Oficial
      Accés obert
      Since ancient times, humanity has sought methods for optimizing their resources and their costs, leading to the study of optimization problems. In this thesis Discrete Optimization Problems are dealt with, which are ...

    • Reorganització de la logística de distribució d'una empresa 

      Soler Facundo, Arnau (Universitat Politècnica de Catalunya, 2017-01-17)
      Treball Final de Grau
      Accés obert
      Cada vegada són més les empreses de la societat actual que comencen a créixer i necessiten replantejar la seva gestió de recursos. Un programa molt conegut i molt utilitzat per gestionar els recursos d’aquestes petites ...

    • SMT-Based Methods for Difference Logic Invariant Generation 

      Candeago, Lorenzo (Universitat Politècnica de Catalunya, 2015-04-24)
      Projecte Final de Màster Oficial
      Accés restringit per acord de confidencialitat

    • Solving hard industrial combinatorial problems with SAT 

      Abío Roig, Ignasi (Universitat Politècnica de Catalunya, 2013-05-15)
      Tesi
      Accés obert
      The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...

    • Understanding Literal Block Distance in SAT solvers 

      Lozano Navarro, Adrián (Universitat Politècnica de Catalunya, 2020-06-25)
      Treball Final de Grau
      Accés obert
      Donem un nou punt de vista sobre les heurístiques basades en la Literal Block Distance (LBD) i el glue, actualment utilitzades en SAT solvers. Per fer això, primer hem introduït el concepte de stickiness: donada una execució ...