Now showing items 1-6 of 6

  • Design and development of an AD-Server algorithm 

    Rivas i Thwaite, Cristòfol-Lluís (Universitat Politècnica de Catalunya, 2016-10)
    Bachelor thesis
    Restricted access - confidentiality agreement
  • Generador d'horaris automàtic : aplicació web i algorisme 

    Coma Rosell, Ferran (Universitat Politècnica de Catalunya, 2017)
    Bachelor thesis
    Restricted access - confidentiality agreement
  • Optimization Modulo Theories 

    Oliver Vendrell, Roc (Universitat Politècnica de Catalunya, 2011-01)
    Master thesis
    Open Access
    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)
    Bachelor thesis
    Open Access
    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)
    Master thesis
    Restricted access - confidentiality agreement
  • Solving hard industrial combinatorial problems with SAT 

    Abío Roig, Ignasi (Universitat Politècnica de Catalunya, 2013-05-15)
    Doctoral thesis
    Open Access
    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 ...