Exploració per autor "Oliver Vendrell, Roc"
Ara es mostren els items 1-1 de 1
-
Optimization Modulo Theories
Oliver Vendrell, Roc (Universitat Politècnica de Catalunya, 2011-01)
Projecte Final de Màster Oficial
Accés obertSince 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 ...