Orientador: Valeria Abrão de Podesta / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-14T16:33:59Z (GMT). No. of bitstreams: 1 Passos_AdaoNascimentodos_M.pdf: 1173380 bytes, checksum: 9650e6a87755fbc73407fcb71aed15c1 (MD5) Previous issue date: 2009 / Resumo: Neste trabalho é feito um estudo sobre Programação Linear e um texto sobre alguns de seus assuntos básicos, construído com uma linguagem didática, visando sua utilização em sala de aula. São apresentados alguns problemas lineares, os fundamentos matemáticos da Programação Linear e o método Simplex, finalizando com um estudo do princípio da decomposição de Dantzig-Wolfe, que é um procedimento para a resolução de problemas lineares de grande porte e com estrutura especial. / Abstract: In this work we have done a study on Linear Programming and a text with some basic issues, using a didactic language, and aiming its utilization in the classroom. Some linear problems are shown here, the mathematical background of Linear Programming and the Simplex method. Finaly, we have also presented a study on the principle of Dantzig-Wolfe's decomposition, which is a procedure for solving large linear problems with special structure. / Mestrado / Programação Linear / Mestre em Matemática

Orientadores: Christiano Lyra Filho, Aurelio Ribeiro Leite de Oliveira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T02:58:01Z (GMT). No. of bitstreams: 1 Casacio_Luciana_M.pdf: 610633 bytes, checksum: eb421c22c943197133158a0a0de7e858 (MD5) Previous issue date: 2010 / Resumo: Neste trabalho os métodos de pontos interiores primais-duais são utilizados para minimizar as perdas técnicas de energia na geração e transmissão de um sistema de potência hidrotérmico. A estrutura matricial resultante é explorada, objetivando uma implementação eficiente do ponto de vista de tempo de processamento, e robusto, do ponto de vista numérico. Uma vez que a demanda de energia varia ao longo do dia, a geração de energia deve acompanhar a variação da carga. No pré-despacho de sistemas hidrotérmicos, as usinas hidroelétricas devem cumprir uma meta de geração por dia, estabelecida pelo planejamento de longo prazo. O trabalho considera que as usinas e as linhas devem também operar em um estado de "equilíbrio estável", caracterizado a cada período de tempo por restrições de segurança para atender demandas imprevistas ou contingências. A implementação dos métodos de pontos interiores para reduzir as perdas satisfazendo essas restrições foi desenvolvida e comparada com uma implementação para o problema de pré-despacho que não considera as restrições de segurança. A comparação foi realizada em termos de eficiência computacional e qualidade da solução. Os estudos de casos mostram que a inclusão das restrições de segurança permite obter soluções de pré-despacho estáveis, com baixos tempos computacionais e boa estabilidade numérica, abrindo a perspectiva para a utilização da metodologia no pré-despacho dos sistemas brasileiros / Abstract: In this work, the primal-dual interior point methods are used to minimize the technical power generation and transmission losses of a hydrothermal power system. The resulting matrix structure is exploited, aiming an efficient implementation in terms of processing time, and robust, in the numerical point of view. Since the demand for energy varies throughout the day, power generation must follow the load change. In short term hydrothermal scheduling, the hydro generating units must satisfy daily targets, established by long-term scheduling models. This work considers that the hydro generating units and the branch must also operate in a state of "stable equilibrium", characterized in each time interval by security constraints to support some unpredictable demands or contingencies. The implementation of interior point methods to reduce losses satisfying these constraints is developed and compared with an implementation of the predispatch problem without such security constraints. The comparison is performed in terms of computational efficiency and solution quality. Case studies show that the inclusion of security constraints achieves stable predispatch solutions with low computational time and good numerical stability, leading to the prospect of this methodology application in predispatch Brazilian systems / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica

Orientador: Aurelio Ribeiro Leite de Oliveira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-16T01:36:50Z (GMT). No. of bitstreams: 1 Silva_DanieleCosta_M.pdf: 1303714 bytes, checksum: 5b7f038f6b0f53fca9601f7784ec02d1 (MD5) Previous issue date: 2010 / Resumo: A presença de linhas redundantes na matriz de restrições não é incomum em problemas reais de grande porte. A existência de tais linhas deve ser levada em consideração na solução destes problemas. Se o método de solução adotado for o método simplex, existem procedimentos eficientes e de fácil implementação que contornam este problema. O mesmo se aplica quando métodos de pontos interiores são adotados e os sistemas lineares resultantes são resolvidos por métodos diretos. No entanto, existem problemas de grande porte cuja única forma possível de solução é resolver os sistemas lineares por métodos iterativos. Nesta situação as linhas redundantes representam uma dificuldade considerável, pois geram uma matriz singular e os métodos iterativos não convergem. A única alternativa viável consiste em detectar tais linhas e eliminá-las antes da aplicação dos métodos de pontos interiores. Este trabalho propõe uma implementação eficiente de um procedimento de detecção de linhas redundantes, que incluímos em uma adaptação própria do PCx que resolve os sistemas lineares por métodos iterativos / Abstract: The presence of dependent rows in the constraint matrix is frequent in real large-scale problems. If the method of solution adopted is the simplex method, there are efficient procedures easy to implement that circumvent this problem. The same applies when interior point methods are adopted and the resulting linear systems are solved for directed methods. However, there are large-scale problems whose only possible solution is to solve linear systems by iterative methods. In this situation, the dependent rows create a singular matrix and the iterative method does not converge. The only viable alternative is to find and remove these rows before applying the method. This dissertation proposes an efficient implementation of a procedure for detection dependent rows, include in a PCx modification that solves linear systems by iterative methods / Mestrado / Programação Linear / Mestre em Matemática Aplicada

Orientador: Maria Aparecida Diniz Ehrhardt / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T11:26:07Z (GMT). No. of bitstreams: 1 Rincao_Thiago_M.pdf: 860262 bytes, checksum: ba41e2489a44afc63f51092ba2434970 (MD5) Previous issue date: 2008 / Resumo: Neste trabalho, tratamos de problemas de minimização irrestrita. Estudamos as condições de otimalidade para este tipo de problema, bem como os métodos clássicos para sua resolução, tais como: o método do Gradiente, de Newton e os Quase-Newton. Abordamos também procedimentos de busca linear e de região de confiança, conhecidos como estratégias de globalização. No entanto, nosso principal interesse está voltado a métodos de minimização que não fazem uso das derivadas da função objetivo. Neste sentido, enfocamos um método de minimização irrestrita, sem derivadas, baseado em interpolação quadrática, proposto por M. J. D. Powell, que está implementado no software NEWOUA. Com o objetivo de avaliar o desempenho computacional do algoritmo realizamos vários experimentos numéricos / Abstract: In this work, we are interested in unconstrained minimization problems. We study the optimality conditions for this kind of problem, and the classical methods for its resolution, such as: the Gradient method, Newton and Quasi- Newton methods. We also consider line search and trust region techniques, which are known as globalization strategies. However, our main interest is the study of derivative-free minimization methods. In this sense, we consider a derivative-free unconstrained minimization approach, based on quadratic interpolation, proposed by M. J. D. Powell, which is implemented in the software NEWUOA. In order to analyze the performance of the algorithm, we present several numerical experiments / Mestrado / Otimização / Mestre em Matemática Aplicada

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-08T12:48:35Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Eduardo Bezerra Valetim.pdf: 1753904 bytes, checksum: b47b056ce4f5f67a30051e12c578323a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-08T12:49:13Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Eduardo Bezerra Valetim.pdf: 1753904 bytes, checksum: b47b056ce4f5f67a30051e12c578323a (MD5) / Made available in DSpace on 2018-02-08T12:49:13Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_Eduardo Bezerra Valetim.pdf: 1753904 bytes, checksum: b47b056ce4f5f67a30051e12c578323a (MD5) Previous issue date: 2017-09-29 / The power wall is a barrier to improvement in the processor design process due to the power consumption of components. The production of energy optimum systems demands knowledge of different disciplines. The usage of heterogeneous multicore platforms is appealing for recent applications, e.g., hard real-time systems. The motivation is the potential reduced energy consumption offered by such platforms. Hard real-time systems are present in life critical environments. Reducing the energy consumption on such systems is an onerous process. Scheduling becomes particularly challenging to improve system utilization and minimize system energy consumption and peak temperature on such platforms, specially subject to hard real-time constraints. Therefore, we propose a study to effectively answer the pertinent research question: “How to offer users timing correctness and guarantees of hard real-time systems executed on heterogeneous multicore systems with energy and temperature constraints?”. Finding optimal solutions for such question has still several open research questions. The main aim of this thesis is to propose an energy optimization method for hard realtime system on heterogeneous multicore platform demonstrating that it is possible to timely compute timing correctness and guarantees using a sufficient and necessary condition; accounting for energy, temperature, preemption, precedence, shared resources constraints, and architectural interference. The proposal is a two fold approach. First, we investigate the process of finding the optimal task to core and frequency to task processes by means of applying exact schedulability tests for heterogeneous multicore platforms. Second, the outcome of the optimization analysis shall be used as reference to the on-line scheduler. We believe that we have achieved the main objective of this research by combining: (a) schedulability analysis from hard real-time systems, (b) representative mathematical formulations, based on integer linear programming, covering modern processors technological characteristics and using a classical combinatorial mathematical formulation (Multilevel Generalized Assignment Problem), and (c) robust exact implicit enumeration algorithmic strategies from combinatorial optimization, such as branch-and-cut and branch-and-price. The systematic literature review in the research subject reveals that the field has open questions to be answered. For instance, to the knowledge of the author only five works in the state-of-the-art literature deal with the problem by providing optimal solutions. Typically, the existing approaches focus on either heuristics or approximation algorithms. Also, only one work has a proposal to evaluate the schedulability in this scenario with an exact test. The typical formulation in the specialized literature is a 0/1 integer linear programming model which considers a continuous processor frequency domain and determines a single operating frequency per processor. One of the hypotheses tested in this research is: stronger feasibility analysis offers tighter bounds for the problem. We believe that this can be observed, for example, in the results produced by solvers for fixed priority schedulers, by means of an analysis based on a comparative study. By applying less accurate schedulability tests, such as utilization based, the solvers take longer to converge to optimal solutions, when compared to solvers that apply exact schedulability tests based on response time analysis. Another hypothesis tested in this research is: practical instances of the problem are timely solvable to optimal. We have experimented, by means of a comparative study, on finding feasible solutions for workload for fixed priority schedulers with up to 50 tasks distributed on four processors with seven different available frequencies. On independent hard real-time tasks scheduled using EDF policy, we found optimal distribution of up to 90 tasks on four processors with seven different available frequencies. In both cases, the solutions were found within 30 min of execution time. Similarly, on dependent tasks workload, we have optimally distributed 22 tasks, from an automotive control hard real-time application, on four processors with seven different available frequencies, with two shared resources and 23 precedence constraints within 1.5 h. We consider a few hours in the design phase a price worth paying in this context. / .

Este projeto teve por objetivo a implementação de software para formulação de ração de frangos de corte utilizando Algoritmo Genético (AG). A geração da população inicial foi direcionada, impedindo a geração de indivíduos que possuíam características restritivas. Realizou-se três experimentos, sendo o primeiro para definição do tamanho da população, número de gerações e método de seleção de pais, o segundo para comparar a formulação de ração do AG com a do Simplex e o terceiro para verificar a variabilidade de resultados do AG. O experimento 1 foi realizado em delineamento inteiramente ao acaso, com tratamentos arranjados em esquema fatorial 2 x 5 x 19, sendo os fatores: métodos de seleção de pais (roleta e torneio de três), tamanho de população (200, 360, 500, 1.000 e 1.500 indivíduos) e número de geração (10, 20, 30, 40, 50, 60, 70, 80, 90, 100, 200, 300, 400, 500, 600, 700, 800, 900 e 1.000), totalizando 190 tratamentos, com 20 repetições resultando em 3.800 observações. A cada observação registrou-se o fitness que foi submetido a análise de variância e quando significativa (P<0,05) aplicou-se o teste de Scott-Knott (5%). No experimento 2 foram formuladas três rações, sendo uma ração pelo método Simplex e duas pelo AG. As rações formuladas com AG utilizaram os parâmetros de tamanho de população, método de seleção de pais e número de gerações definidos no experimento 1. Os resultados obtidos pelo AG proporcionaram rações que apresentam uma diferença média no atendimento das necessidades nutricionais de 0,34% para a ração formulada pelo método roleta e de 0,16% pelo método torneio de três, sendo essas diferenças pequenas e que provavelmente não impactam sobre o desempenho animal e sobre as características de carcaça. A variação de resultados existente no AG, devido a sua característica heurística, foi testada no experimento 3 por intermédio de 100 execuções para cada método de seleção de pais, roleta e torneio de três, utilizando os mesmos parâmetros de tamanho de população e número de gerações das rações formuladas no experimento 2. Os resultados obtidos demonstram baixa dispersão nos dados. Conclui-se que o AG é uma estratégia de otimização eficiente para formulação de rações para frangos de corte, pois aproxima-se do atendimento exato da exigência nutricional, com variação pequena, e com mínimo custo. / The objective of the present project was to implement software for the formulation of broiler chicken feed using a Genetic Algorithm (GA). The generation of the initial population was directed, preventing the production of individuals with restrictive characteristics. A total of three experiments were carried out: the first one to define the population size, number of generations, and the method of parent selection; the second to compare ration formulation using the GA with that of the Simplex method, and the third to verify result variability using the GA. Experiment 1 was performed in a completely randomized design, with arranged treatments in a 2 x 5 x 19 factorial scheme, assessing the following factors: parent selection methods (roulette-wheel selection and tournament selection of three), population size (200, 360, 500, 1 000 and 1 500 individuals), and number of generations (10, 20, 30, 40, 50, 60, 70, 80, 90, 100, 200, 300, 400, 500, 600, 700, 800, 900 and 1 000 ), totaling 190 treatments, with 20 repetitions each, resulting in 3 800 recordings. At each observation, the registered fitness was submitted to variance analysis, and if significant (P < 0.05), the Scott-Knott test (5%) was applied. In the second experiment, three rations were formulated: one by the Simplex method, and two employing the GA. The feeds formulated with the GA used the parameters of population size, parent selection method, and number of generations, defined in experiment 1. The results obtained by the GA provided feeds that exhibited a mean difference in nutritional requirements of 0.34% for the ration formulated by the roulette-wheel method and 0.16% for the tournament selection of three technique. These differences are considered small and may not impact on animal performance and carcass characteristics. The variation regarding the GA results, given its heuristic attribute, was tested in experiment 3 using 100 repetitions of each method of parent selection, employing the same parameters regarding population size and number of generations of the rations formulated in experiment 2. The obtained results demonstrate low data dispersion. In conclusion, the GA is an efficient optimization strategy for the formulation of broiler chicken feeds, since it approximates the exact fulfillment of the nutritional requirement, with small variation, and with minimum cost.

A cafeicultura é uma atividade agrícola histórica e tradicional no Brasil e que passa atualmente por uma reformulação em função das novas exigências qualitativas e sociais no mercado internacional. A importância da qualidade do café reside em atender o gosto do consumidor e em representar um fator bastante específico para sua apreciação. As características físicas e organolépticas da bebida do café são influenciadas pelos manejos pré e pós-colheita da cultura. Nesse contexto, a demanda por cafés finos torna necessário que os sistemas de produção adotem novas tecnologias, de manejo e gerenciais, que permitam o aumento da produtividade e a obtenção de um produto com elevada qualidade. O incremento da complexidade no setor torna maior a responsabilidade do produtor perante suas decisões administrativas, incentivando-o a buscar novas ferramentas de análise. A modelagem matemática apresenta-se como um auxílio nas tomadas de decisões cuja aplicação em problemas de otimização na agricultura é bem sucedida. Nesse sentido, esta dissertação tem como objetivo a otimização do gerenciamento de uma propriedade agrícola voltada para a produção de cafés. Para tanto, foi realizado um estudo de caso na Fazenda Santa Maria da Boa Vista, localizada no município de Cristais Paulista (SP), cujos dados empíricos da produção de café auxiliaram na elaboração e validação de um modelo matemático para a otimização da produção de cafés finos. Tal modelo matemático de programação linear multiobjetivo, composto por uma função multiobjetivo, três conjuntos de restrições contábeis, sete conjuntos restrições técnicas e dois conjuntos de variáveis endógenas, se mostrou capaz de auxiliar no planejamento da produção da propriedade, na programação do seqüenciamento de colheita das lavouras, determinando o volume ótimo de produção de cafés finos. / Coffee production is a historical and traditional agricultural activity in Brazil which is going through a reformulation due to new qualitative and social demands in the international market. The importance of quality to coffee resides in attending the consumer needs and in representing a specific factor for price determination. The physical and organaleptic characteristics of coffee drinks are influenced by pre and post-harvest management of the culture. In this context the demand for special coffee makes it necessary to adopt new technologies to the production systems, to manage the culture and its administration, which allow increase in productivity and a product with good quality. This elevation in complexity within the coffee chain increases the importance given to the farmer\'s administration decisions, stimulating him to search for new supporting tools for analysis. Mathematical modeling presents itself as an assisting tool to decision making with successful applications in agriculture. Therefore, this study aims to optimize the management of a coffee farm. A case study was conducted at the farm Santa Maria da Boa Vista, located in Cristais Paulista district in the State of São Paulo. The production data of the farm was used to elaborate and validate the mathematical model for special coffee production optimization. This linear programming multiobjective model with one multiobjective function, three sets of countable restrictions, seven sets of technical restrictions and two sets of endogenous variables presented itself as capable of assisting in the farms production planning, in the determination of the harvest sequencing and of the optimal volume of special coffee production.

Apresentamos o problema do transporte ótimo de Monge-Kantorovich com duas medidas de probabilidade conhecidas e que possuem suporte em um conjunto de cardinalidade finita. O objetivo é determinar condições que permitam construir um acoplamento destas medidas que minimiza o valor esperado de uma função de custo conhecida e que assume valor nulo apenas nos elementos da diagonal. Apresentamos também um resultado relacionado com a solução do problema de Monge-Kantorovich em espaços produto finitos quando conhecemos soluções para o problema nos espaços marginais. / We present the Monge-Kantorovich optimal problem with two known probability measures on a finite set. The objective is to obtain conditions that allow us to build a coupling of these measures that minimizes the expected value of a cost function that is known and is zero only on the diagonal elements. We also present a result that is related with the solution of the Monge-Kantorovich problem in finite product spaces in the case that solutions to the problem in the marginal spaces are known.

Orientadores: Aurelio Ribeiro Leite de Oliveira, Fernando da Rocha Villas-Bôas, Clóvis Perin Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T03:16:18Z (GMT). No. of bitstreams: 1 Santos_LuizRafaeldos_D.pdf: 1892418 bytes, checksum: f636057b6014ba9f4fdbc0c69c99bdeb (MD5) Previous issue date: 2014 / Resumo: Neste trabalho, propomos um método de pontos interiores do tipo preditor-corretor para programação linear em um contexto primal-dual, em que o próximo iterado será escolhido através de um subproblema de minimização de uma função de mérito polinomial a três variáveis: a primeira variável é o tamanho de passo, a segunda define a trajetória central e a última modela o peso que uma direção corretora deve ter. A minimização da função de mérito é feita sujeitando-a à restrições definidas por uma vizinhança da trajetória central que permite passos largos. Dessa maneira, combinamos diferentes direções, tais como preditora, corretora e de centralização com o objetivo de obter uma direção melhor. O método proposto generaliza grande parte dos métodos de pontos interiores preditores-corretores, a depender da escolha do valor das variáveis acima descritas. É feita, então uma análise de convergência do método proposto, considerando um ponto inicial que tem bom desempenho na prática, e que resulta em convergência linear dos iterados em complexidade polinomial. São feitos experimentos numéricos, utilizando o conjunto de testes Netlib, que mostram que essa abordagem é competitiva, quando comparada a implementações de pontos interiores bem estabelecidas como o PCx / Abstract: In this work we propose a predictor-corrector interior point method for linear programming in a primal-dual context, where the next iterate is chosen by the minimization of a polynomial merit function of three variables: the first one is the step length, the second one defines the central path and the last one models the weight that a corrector direction must have. The merit function minimization is performed by restricting it to constraints defined by a neighborhood of the central path that allows wide steps. In this framework, we combine different directions, such as the predictor, the corrector and the centering directions, with the aim of producing a better direction. The proposed method generalizes most of predictor-corrector interior point methods, depending on the choice of the variables described above. Convergence analysis of the method is carried out, considering an initial point that has a good practical performance, which results in Q-linear convergence of the iterates with polynomial complexity. Numerical experiments are made, using the Netlib test set, which show that this approach is competitive when compared to well established solvers, such as PCx / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada

Orientadores: Cid Carvalho de Souza, Eduardo Candido Xavier / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-25T06:06:38Z (GMT). No. of bitstreams: 1 Bogue_EduardoTheodoro_M.pdf: 1929433 bytes, checksum: 1c490811ba46f8482ede0d93da1163f8 (MD5) Previous issue date: 2014 / Resumo: Neste projeto, nós estudamos o Problema da Máxima Interseção de k-Subconjuntos (kMIS). Dado um inteiro k, um conjunto base U e uma coleção S de subconjuntos de U, o problema kMIS consiste em selecior k subconjuntos distintos S1, S2, ... , Sk em S cujo tamanho da interseção de |S1 ? S2 ? ... ? Sk| seja máxima. Trata-se de um problema NP-difícil e difícil de ser aproximado que ocorre em aplicações de áreas como biologia computacional e privacidade de dados. Até o nosso conhecimento, nenhum método exato foi proposto para resolver este problema. Neste trabalho, introduzimos cinco formulações de programação linear inteira para o problema, sendo três baseadas no método de Branch-and-Bound e duas no método de Branch-and-Cut. Além disso, uma heurística gulosa e uma meta-heurística GRASP foram desenvolvidas com o intuito de gerar bons limitantes inferiores. A heurística GRASP desenvolvida foi capaz de encontrar soluções muito próximas da solução ótima. Ademais, introduzimos um método muito eficiente de pré-processamento para reduzir o tamanho da entrada. Experimentos computacionais foram realizados de forma a analisar o desempenho dos modelos de programação linear inteira em questão, demonstrando que os modelos baseados no método de Branch-and-Cut obtiveram melhores resultados / Abstract: In this project, we study the Maximum k-Subset Intersection problem (kMIS). Given an integer k, a ground set U and a collection S of subsets of U, the kMIS problem is to select k distinct subsets S1, S2, ... , Sk in S whose intersection size |S1 ? S2 ? ... ? Sk| is maximum. The kMIS problem is NP-hard and hard to approximate and occurs in areas of applications such as computational biology and data privacy. To the best of our knowledge, no exact method was proposed to solve this problem. In this work, we introduce five integer linear programming formulations for the problem, three using a simple Branch-and-Bound method and two using a Branch-and-Cut method. We also present a greedy heuristic and a metaheuristic GRASP developed in order to generate good lower bounds. The heuristic GRASP developed was able to find solutions very close to the optimal ones. Furthermore, we introduce a very efficient preprocessing procedure to reduce the size of the input. Computational experiments were performed in order to analyze the performance of the integer linear programming models in question, showing that the Branch-and-Cut models performed better / Mestrado / Ciência da Computação / Mestre em Ciência da Computação