• 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 ...