Cid Carvalho de Souza
Possui graduação em Engenharia Elétrica Ênfase Em Sistemas pela Pontifícia Universidade Católica do Rio de Janeiro (1985), mestrado em Engenharia Elétrica pela Pontifícia Universidade Católica do Rio de Janeiro (1989) e doutorado em em Ciências Aplicadas pela Université Catholique de Louvain (Bélgica, 1993). Atualmente é professor titular do Instituto de Computação da Universidade Estadual de Campinas onde começou a trabalhar em julho de 1994. Tem experiência na área de Ciência da Computação, com ênfase em Otimização Combinatória, atuando principalmente nos seguintes temas: programação linear inteira, projeto e análise de algoritmos, algoritmos exatos, heurísticas e combinatória poliédrica.
Informações coletadas do Lattes em 16/08/2025
Acadêmico
Formação acadêmica
Doutorado em Doutorado Em Ciências Aplicadas
1989 - 1993
Universite Catholique de Louvain
Título: THE EQUIPARTITION PROBLEM: OPTIMAL SOLUTIONS, EXTENSIONS AND APPLICATIONS
Orientador: LAURENCE WOLSEY
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Particionamento de Grafos; Algoritmo Branch-And-Cut; Combinatoria Poliedrica; Otimizacao Combinatoria.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Engenharia Elétrica
1986 - 1989
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: O problema de Steiner na Métrica Retilínea: heurísticas e um estudo computacional, Ano de Obtenção: 1989
Celso da Cruz Carneiro Ribeiro.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: otimização combinatória; heurísticas; Algoritmos Aproximados; problema de Steiner.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Graduação em Engenharia Elétrica Ênfase Em Sistemas
1981 - 1985
Pós-doutorado
1998
Livre-docência. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Título: Projeto e Análise de Algoritmos, Ano de obtenção: 1998., Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Otimização Combinatória. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
2002 - 2003
Pós-Doutorado. , Carnegie Mellon University, CMU, Estados Unidos. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra
1993 - 1994
Pós-Doutorado. , Université Catholique de Louvain, UCL, Bélgica. , Bolsista do(a): Université Catholique de Louvain, UCL, Bélgica. , Grande área: Ciências Exatas e da Terra
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem.
Italiano
Compreende Pouco, Lê Razoavelmente.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Otimização Combinatória.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
Participação em eventos
IntErnational Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies.Lagrangian relaxation and cutting planes for the vertex separator problem. 2007. (Simpósio).
19th International Symposium on Mathematical Programming. Lagrangian relaxation and cutting planes for the vertex separator problem. 2006. (Congresso).
III Workshop on Efficient and Experimental Algorithms. The Datapath Merging Problem in Reconfigurable Systems: Lower Bounds and Heuristic Evaluation. 2004. (Congresso).
Mathematical Programming in Rio: A conference in Honor to Nelson Maculan.The Vertex Separation Problem; polyhedral investigations and computation. 2003. (Simpósio).
Workshop International do Pronex em Estruturas Discretas.The datapath merging problem in the design of reconfigurable systems. 2003. (Oficina).
INFORMS Annual Meeting. A polyhedral approach to scheduling processors under precedence constraints. 2002. (Congresso).
EURO 2001. Optimal Rectangular Partitions. 2001. (Congresso).
17th International Symposium on Mathematical Programming.Solving a real world crew rostering problem with integer programming and constraint logic programming models. 2000. (Simpósio).
Participação em bancas
SOUZA, Cid Carvalho de. Concurso Público de Ingresso na Carreira. 2003. Universidade de São Paulo.
SOUZA, Cid Carvalho de. Livre Docência em Complexidade de Algoritmos. 2003. Universidade Estadual de Campinas.
SOUZA, Cid Carvalho de. Avaliação dos Programas de Pós-Graduação. 2001. Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.
Orientou
Problemas de Coberturas Justas e Máximas; Início: 2021; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; (Coorientador);
A ser definido; Início: 2018; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Formulações e Heurísticas para o Problema de Máximo Atendimento em Roteamento Multicast com Restrições de QoS; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacionalk de Desenvolvimento CIentífico e Tecnológico; Coorientador: Cid Carvalho de Souza;
de Rezende); Algoritmos Exatos e Heurísticos para o Problema do Perfect Awareness; ; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Cid Carvalho de Souza;
O; Pinheiro (orientador: Zanoni Dias); Partição de Grafos Eulerianos em Circuitos; 2021; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Cid Carvalho de Souza;
Metaheurísticas Aplicadas ao Problema do Brigadista Seletivo em Grafos; 2019; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cid Carvalho de Souza;
Recoloração Convexa de Grafos; 2019; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Cid Carvalho de Souza;
J; de Rezende); Um Estudo Computacional do Problema do Brigadista em Grafos; 2018; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cid Carvalho de Souza;
J; de Rezende); Solving the Art Gallery Problem: A Practical and Robust Method for Optimal Point Guard Positioning; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
O problema da Máxima Interseção de k-Subconjuntos; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
J; de Rezende); Limitantes Duais e ALgoritmos Exatos para Problemas de Dilatação Geométrica Mínima; ; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Um Algoritmo Eficiente para o Problema do Posicionamento Natural de Antenas; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Soluções Exatas para o Problema Cromático da Galeria de Arte; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Cid Carvalho de Souza;
O problema do recorte geométrico com custo nas conversões; 2013; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
O problema do corredor de peso mínimo: algoritmos exatos e heurísticas; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Análise de algoritmos heurísticos para problemas ``ricos'' de roteamento de veículos; 2011; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Relaxações Lagrangeanas e planos de corte faciais na resolução de problemas de particionamento de conjuntos; 2011; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Algortimos para a resolução do problema de distribuição de múltiplos produtos petrolíferos em malhas de oleodutos e geração de instâncias; 2011; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Mapas de Símbolos Proporcionais (orientador: P; J; de Rezende); 2011; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Cid Carvalho de Souza;
Um Algoritmo Exato para um Problema de Galeria de Arte; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
Algoritmos de Resolução para o Problema de Empacotamento de Conjuntos Utilizando Poliedros Quase-Inteiros; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
O Problema de Planejamento e Agendamento de Operações em uma Rede de Oleodutos; 2010; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Cid Carvalho de Souza;
Estudo poliédrico do problema do máximo subrafo induzido comum; 2009; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Modelos Computacionais para o Escalonamento de Tarefas em Dutos; 2008; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Cid Carvalho de Souza;
Uso de cortes canônicos no método de ramificação local para problemas inteiros 0--1 mistos; 2006; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Pereira (co-orientado com Arnaldo Moura); Escalonamento de Atividades de Desenvolvimento de Poços de Petróleo: GRASP e Outras Técnicas; 2005; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Coorientador: Cid Carvalho de Souza;
Arnaldo Moura); Uso de Programação por Restriçõesna resolução de problemas operacionais de transporte coletivo urbano; 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cid Carvalho de Souza;
Nascimento (co-orientada por Prof; Arnaldo Moura); Estudo e Desenvolvimento de Ferramentas Híbridas para Problemas de Seqüenciamento e Roteamento de Recursos; 2002; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Cid Carvalho de Souza;
Problema de planejamento de viagens no transporte coletivo; 2001; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Calheiros (co-orientado por Prof; Abílio Lucena); Partições Retangulares Ótimas: algoritmos lagrangeanos e planos de corte; 2001; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
Arnaldo Moura); Problemas de Escalonamento no Transporte Coletivo: Programaçaõ por Restrições e Outras técnicas; 2000; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Algoritmos Exatos e Heurísticas para Problemas de Otimização Combinatória encontrados na Logística de Distribuição de Produtos; 1999; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
O Problema de Escalonamento com Restrições de Mão-de-Obra; 1998; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Uma Abordagem de Programação Linear Inteira Para O Problema da Clique Máxima Com Pesos Nas Arestas; 1997; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
Particionando Um Retângulo Com Pontos No Interior: Formulações e Soluções Exatas Usando Programação Linear Inteira; 1997; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
Uma Abordagem de Programação Inteira Para O Problema da Triangulação de Custo Mínimo; 1997; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
Geometric Decomposition Problems; 2021; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Lee); An Eternal Domination Problem: Graph Classes, Solving Methods, and Practical Standpoint; 2019; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cid Carvalho de Souza;
Exact Solutions for the Geometric Firefighter Problem and Variants; 2018; Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Computação / UNICAMP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Cid Carvalho de Souza;
Encontrando Estruturas Geométricas com Número de Trespasse Mínimo; 2016; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, ; Orientador: Cid Carvalho de Souza;
O problema dos Árbitros Viajantes: Complexidade, Modelagem e Algoritmos; 2016; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cid Carvalho de Souza;
J; de Rezende); Combinatorial Optimization Problems in Cartographic Data Visualization; 2016; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
O Método da Geração de Colunas Aplicado a Problemas de Otimização em Grafos; 2009; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cid Carvalho de Souza;
Algoritmos relax-and-cut para problemas de programação Inteira 0-1; 2008; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cid Carvalho de Souza;
Nelson Maculan); Uma abordagem poliédrica para problemas de otimização combinatória com aplica,cões no planejamento de redes telefônicas; 2003; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cid Carvalho de Souza;
Celso Ribeiro); A polyhedral approach to scheduling unrelated processors under precedence constraints; 2002; Tese (Doutorado em Doutorado em Computacao) - Universidade de Buenos Aires, ; Orientador: Cid Carvalho de Souza;
Cano; 2017; Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Cid Carvalho de Souza;
2014; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Cid Carvalho de Souza;
2010; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Cid Carvalho de Souza;
2010; Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Cid Carvalho de Souza;
Modelagem matemática e aplicações de problemas de otimização relativos à busca de subgrafos com estruturas comuns; 2008; Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Cid Carvalho de Souza;
Problemas de otimização de alocação de máquinas virtuais para computação em nuvem; 2016; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto de Computação / UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
de Rezende); Heurísticas para determinação da distância de inversões entre triangulações; 2016; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto de Computação / UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Modelos matemáticos e estudo algorítmico para problemas de fuga de retângulos; 2015; Iniciação Científica; (Graduando em Engenharia da Computação) - Instituto de Computação / UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Algoritmos lagrangeanos para o problema da árvore geradora de dilatação mínima em um grafo geométrico; 2012; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Heurística para o problema do recorte ortogonal discreto com custo nas conversões; 2012; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Desenho de mapas de símbolos proporcionais utilizando GRASP; 2011; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Grafos Geométricos de Dilatação Mínima; 2010; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cid Carvalho de Souza;
Um estudo sobre a aplicação de heurísticas Tabu a um problema real de roteamento de veículos; 2007; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Algoritmo de programação inteira para identificação de matrizes de rede em sistemas lineares; 2007; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Estudo de uma heurística para a extração de submatrizes de Rede Puras em Programação Linear Inteira; 2007; Iniciação Científica; (Graduando em Matemática Aplicada) - Universidade Estadual de Campinas, Serviço de Apoio ao Estudante / UNICAMP; Orientador: Cid Carvalho de Souza;
Um estudo sobre a aplicação de heurísticas GRASP a um problema real de roteamento de veículos; 2006; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Um estudo sobre a aplicação de Algoritmos Genéticos a um problema real de roteamento de veículos; 2006; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Heurísticas GRASP para identificação de matrizes de rede em sistemas lineares; 2006; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Arnaldo Moura); Estudo e Desenvolvimento de Ferramentas para Sequenciamento de Atividades no Desenvolvimento de Poços de Petróleo: Uso de Metaeurísticas; ; 2002; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Algoritmos lagrangeanos aplicadosa problemas de escalonamento de pessoal; 2002; Iniciação Científica; (Graduando em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Compactação de Circuitos em Sistemas Reconfiguraveis; 2002; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Arnaldo Moura); Estudo e Desenvolvimento de Ferramentas para o Sequnciamento de Atividades no Desenvolvimento de Poços de Petróleo: Uso de Programação por Restrições; 2002; Iniciação Científica; (Graduando em Bacharelado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Cid Carvalho de Souza;
Arnaldo Moura); Algoritmos de Busca Tabu Aplicados a Problemas de Escalonamento de Pessoal; ; 2001; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
Arnaldo Moura); Algoritmos Genéticos Aplicados a Problemas de Escala de Pessoal; 2001; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cid Carvalho de Souza;
O Problema do Redistritamento Postal; 1996; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cid Carvalho de Souza;
Produções bibliográficas
-
RAMOS, NATANAEL ; DE JESUS, RAÍ C. ; de Rezende, Pedro J. ; de Souza, Cid C. ; USBERTI, FBIO L. . Triangle-Based Heuristics for Area Optimal Polygonizations. ACM JOURNAL OF EXPERIMENTAL ALGORITHMICS , v. 27, p. 1-25, 2022.
-
SAPUCAIA, ALLAN ; de Rezende, Pedro J. ; de Souza, Cid C. . Solving the minimum convex partition of point sets with integer programming. COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS , v. 99, p. 101794, 2021.
-
CAVALCANTE, CRISTINA C. B. ; de Souza, Cid C. ; MASCHIO, CÉLIO ; SCHIOZER, DENIS ; ROCHA, ANDERSON . A learning-from-data approach with soft clustering and path relinking to the history-matching problem. JOURNAL OF PETROLEUM EXPLORATION AND PRODUCTION TECHNOLOGY , v. 11, p. 3045-3077, 2021.
-
DANTAS, ANA PAULA S. ; de Souza, Cid C. ; DIAS, ZANONI . A heuristic for the convex recoloring problem in graphs. International Transactions in Operational Research , v. 29, p. 1454-1478, 2020.
-
RAMOS, NATANAEL ; de Souza, Cid Carvalho ; DE REZENDE, PEDRO JUSSIEU . A matheuristic for the firefighter problem on graphs. International Transactions in Operational Research , v. 27, p. 739-766, 2019.
-
CANO, RAFAEL G. ; de Souza, Cid C. ; de Rezende, Pedro J. . Solving dynamic labeling problems to optimality using solution space reductions. THEORETICAL COMPUTER SCIENCE , v. 789, p. 77-92, 2019.
-
ZAMBON, MAURICIO J.O. ; de Rezende, Pedro J. ; de Souza, Cid C. . Finding exact solutions for the Geometric Firefighter Problem in practice. COMPUTERS & OPERATIONS RESEARCH , v. 97, p. 72-83, 2018.
-
RIBEIRO, CELSO C. ; SANTOS, TIAGO DE A. ; de Souza, Cid C. . Multicast routing under quality of service constraints for vehicular ad hoc networks: mathematical formulation and a relax-and-fix heuristic. International Transactions in Operational Research , v. 26, p. 1339-1364, 2018.
-
ZAMBON, MAURICIO J.O. ; de Rezende, Pedro J. ; de Souza, Cid C. . Solving the Geometric Firefighter Routing Problem via Integer Programming. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH , v. 274, p. 1090-1101, 2018.
-
Piva, Breno ; de Souza, Cid C. . Minimum stabbing rectangular partitions of rectilinear polygons. COMPUTERS & OPERATIONS RESEARCH , v. 80, p. 184-197, 2017.
-
BRAGA, A. S. ; de Souza, C.C. ; LEE, O. . A note on the paper 'Eternal security in graphs' by Goddard, Hedetniemi, and Hedetniemi (2005). JCMCC. Journal of Combinatorial Mathematics and Combinatorial Computing , v. 96, p. 13-22, 2016.
-
AGRA, AGOSTINHO ; DOOSTMOHAMMADI, MAHDI ; de Souza, Cid C. . Valid inequalities for a single constrained 0-1 MIP set intersected with a conflict graph. Discrete Optimization , v. 21, p. 42-70, 2016.
-
OLIVEIRA, LUCAS DE ; de Souza, Cid C. ; Yunes, Tallys . Lower bounds for large traveling umpire instances: New valid inequalities and a branch-and-cut algorithm. Computers & Operations Research , v. 72, p. 147-159, 2016.
-
TOZONI, DAVI C. ; de Rezende, P. J. ; SOUZA, Cid Carvalho de . Algorithm 966: A Practical Iterative Algorithm for the Art Gallery Problem Using Integer Linear Programming. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE , v. 43, p. 1-27, 2016.
-
DE OLIVEIRA, LUCAS ; de Souza, Cid C. ; Yunes, Tallys . On the complexity of the traveling umpire problem. Theoretical Computer Science , v. 562, p. 101-111, 2015.
-
BRAGA, ANDREI ; de Souza, Cid C. ; LEE, Orlando . The Eternal Dominating Set problem for proper interval graphs. Information Processing Letters (Print) , v. 115, p. 582-587, 2015.
-
CANO, RAFAEL G. ; de Souza, Cid C. ; REZENDE, PEDRO J. DE ; Yunes, Tallys . Arc-based integer programming formulations for three variants of proportional symbol maps. Discrete Optimization , v. 18, p. 87-110, 2015.
-
Kunigami, Guilherme ; REZENDE, PEDRO J. DE ; Souza, Cid C. de ; Yunes, Tallys . Optimizing the Layout of Proportional Symbol Maps: Polyhedra and Computation. INFORMS Journal on Computing (Online) , v. 26, p. 199-207, 2014.
-
Piva, Breno ; de Souza, Cid C. ; FROTA, YURI ; SIMONETTI, LUIDI . Integer programming approaches for minimum stabbing problems. Recherche Opérationnelle , v. 48, p. 211-233, 2014.
-
CREPALDI, B. E. ; de Rezende, Pedro J. ; de Souza, C.C. . Solving the natural wireless localization problem to optimality efficiently. Computational Geometry , p. 370-379, 2014.
-
DE OLIVEIRA, LUCAS ; de Souza, Cid C. ; Yunes, Tallys . Improved bounds for the traveling umpire problem: A stronger formulation and a relax-and-fix heuristic. European Journal of Operational Research , v. 236, p. 592-600, 2014.
-
CANO, RAFAEL G. ; Kunigami, Guilherme ; de Souza, Cid C. ; de Rezende, Pedro J. . A hybrid GRASP heuristic to construct effective drawings of proportional symbol maps. Computers & Operations Research , v. 40, p. 1435-1447, 2013.
-
Lopes, Tony M.T. ; Moura, Arnaldo V. ; de Souza, Cid C. ; Cire, Andre A. . Planning The Operation of a Large Real-World Oil Pipeline. Computers & Chemical Engineering , v. 46, p. 17-28, 2012.
-
Hoshino, Edna A. ; de Souza, Cid C. . A branch-and-cut-and-price approach for the capacitated -ring¿star problem. Discrete Applied Mathematics , v. 160, p. 2728-2741, 2012.
-
Bahiense, Laura ; MANI, GORDANA ; Piva, Breno ; de Souza, Cid C. . The maximum common edge subgraph problem: A polyhedral investigation. Discrete Applied Mathematics , v. 160, p. 2523-2541, 2012.
-
Kunigami, Guilherme ; Rezende, Pedro J. ; Souza, Cid C. ; Yunes, Tallys . Generating optimal drawings of physically realizable symbol maps with integer programming. The Visual Computer , v. 28, p. 1015-1026, 2012.
-
Piva, Breno ; Souza, Cid Carvalho . Polyhedral study of the maximum common induced subgraph problem. Annals of Operation Research , v. 199, p. 77-102, 2012.
-
de Souza, Cid C. ; Cavalcante, Victor F. . Exact algorithms for the vertex separator problem in graphs. Networks (New York, N.Y. Print) , v. 57, p. 212-230, 2011.
-
Hoshino, Edna A. ; Frota, Yuri A. ; de Souza, Cid C. . A branch-and-price approach for the partition coloring problem. Operations Research Letters , v. 39, p. 132-137, 2011.
-
Figueiredo, Rosa M.V. ; Labbé, Martine ; de Souza, Cid C. . An exact approach to the problem of extracting an embedded network matrix. Computers & Operations Research , v. 38, p. 1483-1492, 2011.
-
Couto, Marcelo C. ; de Rezende, Pedro J. ; de Souza, Cid C. . An exact algorithm for minimizing vertex guards on art galleries. International Transactions in Operational Research , v. 18, p. 425-448, 2011.
-
Simonetti, L. ; Frota, Y. ; de Souza, C.C. . The ring-star problem: A new integer programming formulation and a branch-and-cut algorithm. Discrete Applied Mathematics , p. 1901-1914, 2011.
-
Lopes, Tony Minoru Tamura ; Ciré, Andre Augusto ; de Souza, C.C. ; MOURA, Arnaldo Vieira . A hybrid model for a multiproduct pipeline planning and scheduling problem. Constraints (Dordrecht) , v. 15, p. 151-189, 2010.
-
SOUZA, Cid Carvalho de ; CAVALCANTE, V. F. ; LUCENA, A. . A relax-and-cut algorithm to the set partitioning problem. Computers and Operations Research , v. 35, p. 1963-1981, 2008.
-
Figueiredo, Rosa M. V. ; Barbosa, Valmir C. ; Maculan, Nelson ; de Souza, Cid C. . Acyclic Orientations with Path Constraints. RAIRO. Operations Research , v. 42, p. 455-467, 2008.
-
Moura, Arnaldo V. ; Pereira, Romulo A. ; de Souza, Cid C. . Scheduling activities at oil wells with resource displacement. International Transactions in Operational Research , v. 15, p. 659-683, 2008.
-
RODRIGUES, M ; DESOUZA, C ; MOURA, A . Vehicle and crew scheduling for urban bus lines. European Journal of Operational Research , doi.10.1016/j.ejor.2004.06.35, v. 170, n.3, p. 844-862, 2006.
-
COLL, P ; RIBEIRO, C ; DESOUZA, C . Multiprocessor scheduling under precedence constraints: Polyhedral results. Discrete Applied Mathematics , Holanda, v. 154, p. 770-801, 2006.
-
Macambira, Elder M. ; Maculan, Nelson ; de Souza, Cid C. . A column generation approach for SONET ring assignment. Networks (New York, N.Y. Print) , Estados Unidos, v. 47, n.3, p. 157-171, 2006.
-
Yunes, Tallys H. ; Moura, Arnaldo V. ; de Souza, Cid C. . Hybrid Column Generation Approaches for Urban Transit Crew Management Problems. Transportation Science , Estados Unidos, v. 39, n.2, p. 273-288, 2005.
-
BALAS, Egon ; Souza, Cid C. de . The vertex separator problem: a polyhedral investigation. Mathematical Programming , Alemanha, v. 103, n.3, p. 583-608, 2005.
-
Souza, Cid de ; BALAS, Egon . The vertex separator problem: algorithms and computations. Mathematical Programming , Holanda, v. 103, n.3, p. 609-631, 2005.
-
SOUZA, Cid Carvalho de ; MACAMBIRA, E. M. ; MACULAN, N. . A note on characterizing canonical cuts using geometry. International Transactions in Operational Research , v. 12, p. 581-593, 2005.
-
SOUZA, Cid Carvalho de ; MOURA, Arnaldo Vieira ; FERBER, D. ; MACEDO, T. D. ; PINSETTA, W. J. M. ; ROSA, K. M. ; MILANI, C. R. M. R. ; SIMELINK, V. L. . Escalas de Serviço em Enfermarias de Hospitais. Revista SOBECC (São Paulo) , São Paulo, v. 10, n.3, p. 30-38, 2005.
-
Souza, Cid C. de ; Lima, Andre M. ; Araujo, Guido ; Moreano, Nahri B. . The datapath merging problem in reconfigurable systems. ACM Journal of Experimental Algorithmics , Estados Unidos, v. 10, n.-1, p. 2.2, 2005.
-
MOREANO, N. ; BORIN, E. ; CID DE SOUZA, NULL ; ARAUJO, G. . Efficient datapath merging for partially reconfigurable architectures. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , v. 24, p. 969-980, 2005.
-
Calheiros, Felipe C. ; Lucena, Abilio ; de Souza, Cid C. . Optimal rectangular partitions. Networks (New York, N.Y. Print) , v. 41, n.1, p. 51-67, 2003.
-
Dias, Tiago M. ; Ferber, Daniel F. ; de Souza, Cid C. ; Moura, Arnaldo V. . Constructing nurse schedules at large hospitals. International Transactions in Operational Research , v. 10, p. 245-265, 2003.
-
Ferreira, C.E. ; de Souza, C.C. ; WAKABAYASHI, Y. . Rearrangement of DNA fragments: a branch-and-cut algorithm¿. Discrete Applied Mathematics , Holanda, v. 116, n.1-2, p. 161-177, 2002.
-
SOUZA, Cid Carvalho de ; CAVALCANTE, C. C. DE B. ; WOLSEY, L. A. ; SAVELSBERGH, M. ; WANG, Y. . Scheduling Projects with Labor Constraints. Discrete Applied Mathematics , Holanda, v. 112, p. 27-52, 2001.
-
SOUZA, Cid Carvalho de ; MACAMBIRA, E. M. . The edge-weigthed clique problem: valid inequalities , facets and polyhedral computations. European Journal of Operational Research , v. 123, p. 346-371, 2000.
-
SOUZA, Cid Carvalho de ; MENEZES, C. N. . Exact solutions of rectangular partitions via integer programming. International Journal of Computational Geometry and Applications , Holanda, v. 10, n.5, p. 477-522, 2000.
-
SOUZA, Cid Carvalho de ; CAVALCANTE, C. C. B. ; HEIPCKE, S. ; COLOMBANI, Y. . Scheduling under labor constraints. Constraints (Dordrecht) , EUA, v. 5, n.4, p. 415-422, 2000.
-
SOUZA, Cid Carvalho de ; RIBEIRO, C. C. ; MACULAN, N. ; PORTO, S. . A New Formulation for Scheduling UnrelatedProcessors under Precedence Constraints.. RAIRO. Recherche Opérationnelle , v. 33, p. 87-90, 1999.
-
SOUZA, Cid Carvalho de ; WOLSEY, L. A. ; WEISMANTEL, R. ; MARTIN, A. ; FERREIRA, C. E. . The Node Capacitated Graph Partitioning Problem: A Computational Study.. Mathematical Programming , v. 81, p. 229-256, 1998.
-
SOUZA, Cid Carvalho de ; WEISMANTEL, R. ; WOLSEY, L. A. ; MARTIN, A. ; FERREIRA, C. E. . The Node Capacitated Graph Partitioning Problem:Formulations and Valid Inequalities.. Mathematical Programming , v. 74, p. 247-266, 1996.
-
SOUZA, Cid Carvalho de ; LAURENT, M. . Some New Facets For The Equicut Polytope. Discrete Applied Mathematics , Holanda, v. 62, n.3, p. 167-192, 1995.
-
SOUZA, Cid Carvalho de ; KEUNINGS, R. ; WOLSEY, L. A. ; ZONE, O. . A New Approach To Minimising The Frontwidth In Finite Element Calculations. Computer Methods in Applied Mechanics and Engineering , v. 111, n.111, p. 323-334, 1994.
-
SOUZA, Cid Carvalho de ; RIBEIRO, C. C. . Heuristics For The Minimum Rectilinear Steiner Tree Problem: New Algorithms And A Computational Study. Discrete Applied Mathematics , v. 45, n.45, p. 205-220, 1993.
-
SOUZA, Cid Carvalho de ; RIBEIRO, C. C. . O Problema de Steiner Na Metrica Retilinea. Investigación Operativa , v. 1, n.3, p. 213-250, 1990.
-
SOUZA, Cid Carvalho de ; RIBEIRO, C. C. . A Tight Worst Case Bound For The Performance Ratio Of Heuristics For The Minimum Rectilinear Steiner Tree Problem. OR-Spektrum , v. 12, n.12, p. 109-111, 1990.
-
de Rezende, Pedro J. ; de Souza, Cid C. ; Friedrichs, Stephan ; Hemmer, Michael ; Kröller, Alexander ; TOZONI, DAVI C. . Engineering Art Galleries. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2016, v. 9920, p. 379-417.
-
MIYAZAWA, F. K. ; de Souza, C.C. . Introdução à Otimização Combinatória. In: Claudia Linhares. (Org.). XXXV Anais do Congresso da Sociedade Brasileira de Computação - 34o JAI. 1ed.Porto Alegre: Sociedade Brasileira de Computação, 2015, v. 1, p. 123-190.
-
SOUZA, Cid Carvalho de ; RIBEIRO, C. C. ; CAVALCANTE, C. C. B. ; CAVALCANTE, V. F. . Parallel Cooperative Approaches for the Labor Constrained Scheduling Problem. In: Celso Ribeiro ; Pierre Hansen. (Org.). Essays and Surveys in Metaheuristics. Boston: Kluwer Academic Publishers, 2001, v. , p. 201-225.
-
BARBOZA, A. S. ; de Rezende, P. J. ; de Souza, C.C. . Solving the Coarseness Problem by ILP Using Column Generation. In: ICCSA: International Conference on Computational Science and Its Applications, 2021, Cagliari. Lecture Notes in Computer Science - Proceedings of the ICCSA 2021. Heidleberg: Springer, 2021. v. 12953. p. 30-35.
-
BARBOZA, A. S. ; Cire, A. A. ; de Rezende, P. J. ; de Souza, C.C. . Convex Bichromatic Quadrangulation of Point Sets with Minimum Color Flips. In: 33rd Canadian Conference on Computational Geometry, 2021, Halifax, Nova Scotia, Canada. Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, Nova Scotia, Canada: Dalhousie University, 2021. p. 185-194.
-
PEREIRA, F. C. ; de Rezende, P. J. ; de Souza, C.C. . Effective Heuristics for the Perfect Awareness Problem. In: LAGOS 2021, 2021, São Paulo. Proceedings of the XI Latin and American Algorithms, Graphs and Optimization Symposium. Amsterdam, Holanda: Elsevier, 2021. v. 12953. p. 1454-9.
-
PINHEIRO, P. O. ; ALEXANDRINO, A. O. ; OLIVEIRA, A. R. ; de Souza, C.C. ; DIAS, ZANONI . Algorithms for the Maximum Eulerian Cycle Decomposition Problem. In: LIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2021), 2021, João Pessoa, PB. Anais do LIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2021). Rio de Janeiro - RJ - Brasil: SBPO, 2021. p. 139228.
-
PINHEIRO, P. O. ; ALEXANDRINO, A. O. ; OLIVEIRA, A. R. ; de Souza, Cid C. ; Dias, Z . Heuristics for Breakpoint Graph Decomposition with Applications in Genome Rearrangement Problems. In: 13th Brazilian Symposium on Bioinformatics, 2020, São Paulo. dvances in Bioinformatics and Computational Biology. Amsterdã: Springer-Verlag, 2020. v. 12558. p. 129-140.
-
DANTAS, A. P. S. ; de Souza, C.C. ; Dias, Z . A GRASP for the Convex Recoloring Problem in Graphs. In: X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS 2019), 2019, Belo Horizonte, Brasil. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier, 2019. v. 346. p. 379-391.
-
BARBOZA, A. S. ; de Souza, C.C. ; DE REZENDE, P. J. . Minimum Convex Partition of Point Sets. In: XI International Conference Algorithms and Complexity (CIAC 2019), 2019, Roma, Itália. Lecture Notes in Computer Science. Berlin: Springer, 2019. v. 11485. p. 25-37.
-
CANO, RAFAEL G. ; de Souza, Cid C. ; de Rezende, P. J. . Optimal Solutions for a Geometric Knapsack Problem using Integer Programming. In: 30Th CANADIAN CONFERENCE ON COMPUTATIONAL GEOMETRY (CCCG 2018), 2018, Manitoba. Canadá. Proceedings of the 30th CANADIAN CONFERENCE ON COMPUTATIONAL GEOMETRY, 2018. p. 1-7.
-
Cano R.G. ; de Souza, C.C. ; DE REZENDE, P. J. . Fast Optimal Labelings for Rotating Maps. In: 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017), 2017, Hsinchu, Taiwan. Lecture Notes in Computer Science - Proceedings of the 11th International Conference and Workshops on Algorithms and Computation (WALCOM). Heildelberg: Springer Verlag, 2017. v. 10167. p. 161-173.
-
SOARES, Y. ; de Souza, Cid C. ; DE REZENDE, P. J. . Computing Short Edge-Flipping Sequences Between Triangulations: a Heuristic Approach. In: 12th Metaheuristics International Conference (MIC 2017), 2017, Barcelona. Proceedings of the 12th Metaheuristics International Conference, 2017. p. 267-275.
-
ZAMBON, M. ; de Rezende, P. J. ; de Souza, Cid C. . Exact Solutions for the Geometric Firefighter Problem. In: Canadian Conference on Computational Geometry, 2016, Vancouver. Proceedings of the 28th Canadian Conference on Computational Geometry. Vancouver, Canadá: Simon Fraser University, 2016. v. 1. p. 223-229.
-
ATAIDE, M. S. ; de Souza, Cid C. ; Rezende, Pedro J. . The Longest Link Node Deployment Problem in Cloud Computing: a Heuristic Approach. In: XVIII Latin-Iberoamerican Conference on Operations Research (CLAIO 2016), 2016, Santiago, Chile.. Proceedings of the XVIII Latin-Iberoamerican Conference on Operations Research, 2016. p. 69-76.
-
BRANDT, A. ; Gaiowski M.F.A.M. ; de Rezende, P. J. ; de Souza, Cid C. . Computing Minimum Dilation Spanning Trees in Geometric Graphs. In: International Computing and Combinatorics Conference (COCOON), 2015, Beijing. Lecture Notes in Computer Science - 21st International Computing and Combinatorics Conference (COCOON). Heidelberg: Springer International Publishing, 2015. v. 9198. p. 297-309.
-
BRANDT, A. ; Gaiowski M.F.A.M. ; de Souza, C.C. ; REZENDE, P. J. . Minimum Dilation Triangulation: Reaching Optimality Efficiently.. In: 26th Canadian Conference on Computational Geometry, 2014, Halifax, Canadá. Proceedings of the 26th Canadian Conference on Computational Geometry, 2014. p. 1-6.
-
BOGUE, E. T. ; Souza, Cid C. de ; Freire, A. ; XAVIER, E. C. . An Integer Programming Formulation for the Maximum k-Subset Intersection Problem. In: 3rd International Symposium on Combinatorial Optimization (ISCO 2014), 2014, Lisboa, Portugal. Lecture Notes in Computer Sciences. Heildelberg: Springer, 2014. v. 8596. p. 87-99.
-
ZAMBON, M. ; REZENDE, P. J. ; de Souza, C.C. . An Exact Algorithm for the Discrete Chromatic Art Gallery Problem. In: Symposium on Experimental Algorithms 2014, 2014, Copenhagen. Experimental Algorithms - Lecture Notes in Computer Science. Heidelberg, Alemanha: Springer International Publishing, 2014. v. 8504. p. 59-73.
-
TOZONI, D. C. ; REZENDE, P. J. ; de Souza, Cid C. . The Quest for Optimal Solutions for the Art Gallery Problem: A Practical Iterative Algorithm. In: 12th International Symposium on Experimental Algorithms (SEA2013), 2013, Rome, Italy. Lecture Notes in Computer Sciences. Heildelberg: Springer Verlag, 2013. v. 7933. p. 320-336.
-
CREPALDI, B. E. ; de Rezende, Pedro J. ; de Souza, C.C. . An Efficient Exact Algorithm for the Natural Wireless Localization Problem. In: 25th Canadian Conference on Computational Geometry, 2013, Waterloo, Canadá. Proceedings of 25th Canadian Conference on Computational Geometry. Waterloo, Canadá, 2013. v. 1. p. 223-228.
-
CANO, RAFAEL G. ; de Rezende, Pedro J. ; de Souza, C.C. ; YUNES, T. H. . Arc-based integer programming formulations for three variants of proportional symbol maps. In: VII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS, 2013, Playa del Carmen, México. Proceedings of the VII Latin-American Algorithms, Graphs and Optimization Symposium (Electronic Notes in Discrete Mathematics). Amsterdam, Holanda: Elsevier, 2013. v. 44. p. 251-256.
-
AGRA, A. ; DOOSTMOHAMMADI, M. ; de Souza, C.C. . Intersecting a simple mixed integer set with a vertex packing set. In: International Network Optimization Conference (INOC), 2013, Costa Adeje (Tenerife, Spain). Proceedings of INOC 2013 - Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, 2013. v. 41. p. 327-334.
-
BOGUE, E. T. ; de Souza, C.C. ; XAVIER, E. C. ; Freire, A. . O problema da Máxima Interseção de k-Subconjuntos. In: Simpósio Brasileiro de Pesquisa Operacional, 2013, Natal, RN. Anais do XLV Simpósio Brasileiro de Pesquisa Operacional (SBPO 2013), 2013. p. 1-10.
-
Piva, Breno ; de Souza, C.C. . The Minimum Stabbing Triangulation Problem: IP Models and Computational Evaluation. In: 2nd International Symposium on Combinatorial Optimization, 2012, Atenas, Grécia. Lecture Notes in Computer Science - Proceedings of ISCO 2012. Heidelberg: Springer, 2012. v. 7422. p. 36-47.
-
de Assis, I. R. ; de Souza, Cid C. . Experimental Evaluation of Algorithms for the Orthogonal Milling Problem with Turn Costs. In: Symposium on Experimental Algorithms, 2011, Kolimpari-Chania (Grécia). Proceedings of the 10th International Symposium on Experimental Algorithms. Heidelberg (Alemanha): Springer Verlag, 2011. v. 6630. p. 304-314.
-
Kunigami, G. ; de Souza, Cid C. ; REZENDE, P. J. ; YUNES, T. H. . Optimizing the layout of proportional symbol maps. In: CGA 2011 - Computational Geometry and Applications, 2011, Santander (Espanha). Lecture Notes in Computer Science - Proc. Computational Geometry and Applications 2011 - Part III. Hedelberg (Alemanha): Springer Verlag, 2011. v. 6784. p. 1-16.
-
Gaiowski M.F.A.M. ; de Souza, Cid C. . Minimum Dilation Geometric Spanning Trees. In: XLIII Simpósio Brasileiro de Pesquisa Operacional, 2011, Ubatuba (SP). Anais do XLIII SBPO, 2011.
-
Cano R.G. ; de Souza, Cid C. . Uma heurística GRASP para Otimizar Mapas de Símbolos Porporcionais. In: XLIII Simpósio Brasileiro de Pesquisa Operacional, 2011, Ubatuba (SP). Anais do XLIII SBPO, 2011.
-
Kunigami, Guilherme ; REZENDE, PEDRO ; Souza, Cid ; Yunes, Tallys . Determining an Optimal Visualization of Physically Realizable Symbol Maps. In: 2011 24th SIBGRAPI Conference on Graphics, Patterns and Images (Sibgrapi), 2011, Alagoas. 2011 24th SIBGRAPI Conference on Graphics, Patterns and Images. p. 1-8.
-
Salles da Cunha, Alexandre ; Bahiense, Laura ; Lucena, Abilio ; Carvalho de Souza, Cid . A New Lagrangian Based Branch and Bound Algorithm for the 0-1 Knapsack Problem?. In: International Symposium on Combinatorial Optimization, 2010, Hammamet, Tunisia. Electronic Notes in Discrete Mathematics. Amsterdam, Holanda: Elsevier. v. 36. p. 623-630.
-
Hoshino, Edna Ayako ; de Souza, Cid Carvalho . A Branch-and-Cut-and-Price Approach for the Capacitated m-Ring-Star Problem. In: LAGOS'09 ? V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, 2009. v. 35. p. 103-108.
-
Manic, G. ; Bahiense, Laura ; de Souza, Cid . A branch&cut algorithm for the maximum common edge subgraph problem. In: LAGOS'09 ? V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier. v. 35. p. 47-52.
-
Simonetti, L. ; Frota, Y. ; de Souza, C.C. . Upper and lower bounding procedures for the minimum caterpillar spanning problem. In: LAGOS'09 ? V Latin-American Algorithms, Graphs and Optimization Symposium, 2009, Gramado. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, 2009. v. 35. p. 83-88.
-
Couto. M.C. ; SOUZA, Cid Carvalho de ; REZENDE, P. J. . Experimental Evaluation of an Exact Algorithm for the Orthogonal Art Gallery Problem. In: 7th International Workshop on Experimental Algorithms, 2008, Provincetown, MA, USA. Lecture Notes in Computer Sciences (WEA 2008). Heidelberg: Springer, 2008. v. 5038. p. 101-113.
-
MOURA, Arnaldo Vieira ; de Souza, Cid C. ; Cire, A. A. ; Lopes, T. M. T. . Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. In: 14th International Conference on Principles and Practice of Constraint Programming, 2008, Sidney. Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming. Heidelberg: Springer, 2008. v. 5202. p. 36-51.
-
Hoshino, E. A. ; de Souza, Cid C. . Column Generation Algorithms for the Capacitated m-Ring-Star Problem. In: 14th Annual International Computing and Combinatorics Conference (COCOON 2008), 2008, Dalian/China. Proceedings of the 14th Annual International Computing and Combinatorics Conference (COCOON 2008). Heidelberg: Springer, 2008. v. 5092. p. 631-641.
-
MOURA, Arnaldo Vieira ; de Souza, Cid C. ; Cire, A. A. ; Lopes, T. M. T. . Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem. In: 11th IEEE International Conference on Computational Science and Engineering (CSE-08), 2008, São Paulo / Brazil. Proceedings of the 11th IEEE International Conference on Computational Science and Engineering (CSE-08), 2008. p. 455-462.
-
CAVALCANTE, V. F. ; SOUZA, Cid Carvalho de . Lagrangian relaxation and cutting planes for the vertex separator problem. In: First International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies (ESCAPE 2007), 2007, Hangzhou, China. Lecture Notes in Computer Science, (Post) Proceedings ESCAPE 2007. Heildelberg, Alemanha: Springer-Verlag, 2007. v. 4614. p. 471-482.
-
Couto. M.C. ; SOUZA, Cid Carvalho de ; REZENDE, P. J. . An Exact and Efficient Algorithm for the Orthogonal Art Gallery Problem. In: XX Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2007), 2007, Belo Horizonte. Proceedings of the XX Brazilian Symposium on Computer Graphics and Image Processing, 2007. p. 87-94.
-
SOUZA, Cid Carvalho de ; MOURA, Arnaldo Vieira ; PEREIRA, R. A. . Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem. In: Workshop on Efficient algorithms, 2005, Santorini, Grécia. Lecture Notes in Computer Science. Berlin-Heidelberg-New York: Springer, 2005. v. 3503. p. 328-340.
-
SOUZA, Cid Carvalho de ; ARAUJO, G. ; MOREANO, N. ; LIMA, A. M. M. DE . The Datapath Merging Problem in Reconfigurable Systems: Lower Bounds and Heuristic Evaluation. In: III Workshop on Efficient and Experimental Algorithms, 2004, Angra dos Reis - RJ - Brasil. Lecture Notes in Computer Science. Heildelberg: Springer, 2004. v. 3059. p. 545-558.
-
SOUZA, Cid Carvalho de ; MOURA, Arnaldo Vieira ; YUNES, T. H. . Solving Very Large Crew Scheduling Problems to Optimality. In: 14th ACM Symposium on Applied Computing, 2000, Como. Proceedings of the 14th ACM Symposium on Applied Computing, 2000. v. 1. p. 446-451.
-
SOUZA, Cid Carvalho de ; MOURA, Arnaldo Vieira ; YUNES, T. H. . A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. In: Workshop on Practical Aspects of Declarative Languages (PADL'00), 2000, Boston. Lecture Notes in Computer Sciences - Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (PADL'00. Berlin: Springer Verlag, 2000. v. 1753. p. 293-307.
-
BRAGA, A. S. ; de Souza, Cid C. ; LEE, Orlando . Computing Bounds for Eternal Domination. In: 13th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015, Istambul, Turquia. Proceedings of the 13th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2015. p. 177-180.
-
BORRMANN, D. ; de Rezende, Pedro J. ; de Souza, C.C. ; FEKETE, S. ; FRIEDRICHS, S. ; KROLLER, A. ; NUCHTER, A. ; SCHMIDT, C. ; TOZONI, D. C. . Point guards and point clouds: solving general art gallery problems.. In: 29th Annual Symposium on Computational Geometry,, 2013, Rio de janeiro, Brazil. Proceedings of the 29th Annual Symposium on Computational Geometry. Nova York, NY, USA: Association for Computing Machinery (ACM), 2013. v. 1. p. 347-348.
-
Simonetti, L. ; Protti, F. ; Frota, Y. ; de Souza, C.C. . New branch-and-bound algorithms for k-cardinality tree problems. In: LAGOS'11 -- VI Latin-American Algorithms, Graphs and Optimization Symposium, 2011, Bariloche - Argentina. Electronic Notes in Discrete Mathematics. Amsterdam - Holanda: Elsevier, 2011. v. 37. p. 27-32.
-
Cano R.G. ; de Souza, Cid C. ; de Rezende, Pedro J. . Effective drawing of proportional symbol maps using GRASP. In: 10th Cologne Twente Workshp on Graphs and Combinatorial Optimization, 2011, Roma. Proceedings of the 10th Cologne Twente Workshp on Graphs and Combinatorial Optimization. v. 1. p. 97-100.
-
Couto. M.C. ; de Souza, Cid C. ; REZENDE, P. J. . Strategies for Optimal Placement of Surveillance Cameras in Art Galleries. In: 18th International Conference on Computer Graphics and Vision (GraphiCon 2008),, 2008, Moscou. Proceedings of the 18th International Conference on Computer Graphics and Vision (GraphiCon 2008). Moscou: Lomonosov Moscow State University, 2008.
-
Dias, Z ; SOUZA, Cid Carvalho de . Polynomial ILP Models for Rearrangement Distance Problems. In: Brazilian Symposium on Bioinformatics (BSB 2007), 2007, Angra dos Reis, RJ, Brasil. Poster Proceedings of the Brazilian Symposium on Bioinformatics (. Rio de Janeiro: PUC-Rio, 2007. p. 74-85.
-
CAVALCANTE, V. F. ; SOUZA, Cid Carvalho de ; LUCENA, A. . A Relax-and-Cut algorithm to the Set Partitioning Problem. In: Congresso Latino Americano de Investigacion Operativa (CLAIO), 2006, MOntevidéu. Proceedings of the XII CLAIO, 2006. p. 1-6MOtevidéu.
-
BUCHIN, K. ; CANO, RAFAEL G. ; DE REZENDE, P. J. ; de Souza, C.C. ; SPECKMANN, B. . Sea Regions for Rectangular Cartograms. In: 30th European Workshop on Computational Geometry (EuroCG 2014), 2014, Ein-Gedi, Dead Sea, Israel. Proceedings of the 30th uroCG (EuroCG 2014), 2014. p. 1-4.
-
MENEZES, C. N. ; SOUZA, Cid Carvalho de . Minimizing The Length Of Retangular Partitions: An Integer Programming Approach. In: XVI INTERNATIONAL SYMPOSIUM ON MATHEMATICAL PROGRAMMING, 1997, Lausanne. ANNALS OF THE XVI INTERNATIONAL SYMPOSIUM ON MATHEMATICAL PROGRAMMING. LAUSANNE - SUIÇA, 1997.
-
NUNES, A. P. ; SOUZA, Cid Carvalho de . Integer Programming Models For Minimum-Weight Triangulations.. In: XVI INTERNATIONAL SYMPOSIUM ON MATHEMATICAL PROGRAMMING, 1997, Lausanne. ANNALS OF THE XVI INTERNATIONAL SYMPOSIUM ON MATHEMATICAL PROGRAMMING. LAUSANNE - SUIÇA, 1997.
-
MACAMBIRA, E. M. ; SOUZA, Cid Carvalho de . Exact Solutions For The Maximum Edge-Weighted Clique Problem.. In: XVI SYMPOSIUM ON MATHEMATICAL PROGRAMMING, 1997. ANNALS OF THE XVI SYMPOSIUM ON MATHEMATICAL PROGRAMMING. LAUSANNE - SUIÇA, 1997.
-
SOUZA, Cid Carvalho de . Uma Abordagem de Programação Inteira Para O Problema da Triangulação de Custo Mínimo.. In: CLAIO, 1996, Rio de janeiro. Anais do CLAIO.
-
MENESES, C. N. ; SOUZA, Cid Carvalho de . Particionando Um Retângulo Com Pontos No Interior: Uma Abordagem Em Programação Inteira.. In: VIII Congresso Latino Americano de Investigación Operativa, 1996. ANAIS DO VIII Congresso Latino Americano de Investigación Anais do VIII Congresso Latino Americano de Investigación Anais do VIII Congresso Latino Americano de Investigación Operativa. RIO DE JANEIRO - BRASIL. v. 1. p. 389-394.
-
SOUZA, Cid Carvalho de ; BALAS, Egon . The Vertex Separator Problem: Algorithms and Computations. Pittsburgh, PA, EUA: Série de relatórios técnicos - GSIA - Carnegie Mellon University, 2004 (Relatorio Tecnico de Pesquisa).
-
SOUZA, Cid Carvalho de ; ARAUJO, G. ; MOREANO, N. . CDFG merging for reconfigurable architectures.. UNICAMP: Relatório Técnico de Pesquisa - IC - UNICAMP, 2003 (Relatorio Tecnico de Pesquisa).
-
SOUZA, Cid Carvalho de ; BALAS, Egon . The vertex separation problem a polyhedral investigation. Pittsburgh: GSIA/CMU - série de relatórios técnicos, 2003 (Relatorio Tecnico de Pesquisa).
-
SOUZA, Cid Carvalho de ; YUNES, T. H. ; MOURA, Arnaldo Vieira . Solving Large Scale Crew Scheduling Problems by Constraint Programming and Integer Programming. Campinas: IC/UNICAMP, 1999 (Relatorio Tecnico de Pesquisa).
-
SOUZA, Cid Carvalho de ; MENESES, C. N. . Exact solutions of rectangular partitions via integer programming.. Campinas: IC/UNICAMP, 1998 (Relatorio Tecnico).
-
SOUZA, Cid Carvalho de ; WANG, Y. ; WOLSEY, L. A. ; SAVELSBERGH, M. ; CAVALCANTE, C. C. B. . Scheduling Projects with Labor Constraints. Louvain- La-Neuve/Belgica: Center for Operations Reseach/UCL, 1998 (Relatorio Tecnico de Pesquisa).
-
SOUZA, Cid Carvalho de ; MACAMBIRA, E. M. . The Edge-Weighted Clique Problem: valid inequalities, facets and Polyhedral Computations.. Campinas: IC/UNICAMP, 1997 (Relatorio Tecnico de Pesquisa).
-
SOUZA, Cid Carvalho de ; WAKABAYASHI, Y. ; FERREIRA, C. E. . Rearrangement of DNA fragments: a branch-and-cut algorithm.. Sao Paulo: IME/USP, 1997 (Relatorio Tecnico de Pesquisa).
Outras produções
SOUZA, Cid Carvalho de ; STOLFI, J. . Localização otimizada de Rádios Comunitárias. 2005.
SOUZA, Cid Carvalho de ; STOLFI, J. . Distribuição Otimizada de Telefones Públicos. 2001.
SOUZA, Cid Carvalho de ; FERBER, D. ; MACEDO, T. D. ; MOURA, Arnaldo Vieira . Escalas de Enfermarias em Hospitais. 2002.
SOUZA, Cid Carvalho de ; MOURA, Arnaldo Vieira ; VANINI, F. A. ; SILVA, C. N. ; MORAIS, M. . Ferramenta Computacional para Programação de Viagens de linhas de ônibus Urbanos. 2001.
Projetos de pesquisa
-
2012 - Atual
Algoritmos, Grafos e Otimização Combinatória, Descrição: Neste projeto tratamos do desenvolvimento de pesquisas em estruturas discretas, com ênfase em Algoritmos, Combinatória e Otimização. Os tópicos considerados se inserem nas áreas de otimização combinatória, teoria dos grafos, biologia e geometria computacional. A equipe proponente é composta pelos membros do Laboratório de Otimização e Combinatória (LOCo) do Instituto de Computação da UNICAMP.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Cid Carvalho de Souza - Coordenador / Orlando Lee - Integrante / Flávio Keidi Miyazawa - Integrante / Pedro Jussieu de Rezende - Integrante / zanoni dias - Integrante / Célia Picinin de Mello - Integrante / eduardo candido xavier - Integrante / Guilherme Pimentel Telles - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2010 - 2012
Algoritmos, grafos e otimização combinatória, Descrição: Neste projeto tratamos do desenvolvimento de pesquisas em estruturas discretas, com ênfase em Algoritmos Combinatórios, Combinatória e Métodos Formais. Os tópicos considerados se inserem nas áreas de otimização combinatória, teoria dos grafos, biologia e geometria computacional, verificação formal de programas e autômatos híbridos. As motivações que sustentam a investigação dos tópicos considerados neste projeto são dadas pelas importantes aplicações envolvidas e pelas propriedades estruturais de caráter mais amplo. A equipe proponente é composta pelos membros do Laboratório de Otimização e Combinatória (LOCo) do Instituto de Computação da UNICAMP. Como resultados concretos esperados deste projeto, citamos: - Publicação de um número substancial de artigos em revistas científicas indexadas ou qualificadas de primeira linha. - Aumento da colaboração entre os pesquisadores e colaboradores do grupo. - Protótipos e algoritmos com desempenho superiores aos existentes na literatura. - Publicação em conferências internacionais e nacionais de bom nível. - Formação de pesquisadores e alunos na área do projeto, nos diversos níveis de especialidade (pós-doutorado, doutorado, mestrado e iniciação científica). É importante observar que todos os integrantes da equipe têm forte base teórica necessária para investigar os problemas propostos na linha deste projeto... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Cid Carvalho de Souza - Integrante / Orlando Lee - Integrante / Flávio Keidi Miyazawa - Integrante / zanoni dias - Integrante / Célia Picinin de Mello - Coordenador / Rezende, Pedro J. - Integrante / christiane neme campos - Integrante / eduardo candido xavier - Integrante / Guilherme Pimentel Telles - Integrante., Número de produções C, T & A: 11
-
2008 - 2012
Métodos de aproximação para computação visual, Descrição: O objetivo deste projeto é o desenvolvimento de algoritmos, técnicas matemáticas e ferramentas de software para problemas de computação visual, baseadas em conceitos de aproximação matemática. Computação visual inclui geometria computacional, modelagem geométrica, síntese de imagens e animações, visualização científica, visão computacional, codificação e processamento de imagens e reconhecimento de padrões. Por aproximação matemática entende-se a substituição de um fenômeno real ou modelo matemático complexo por um modelo mais simples ou mais eficiente, com garantias teóricas ou experimentais sobre os erros decorrentes dessa substituição. Os sub itens específicos deste projeto refletem a experiência acumulada e as idéias originais dos membros nas grandes áreas acima mencionadas, e oferecerão muitas oportunidades de sinergia e cooperação.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Cid Carvalho de Souza - Integrante / Jorge Stolfi - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
-
2008 - 2010
Algoritmos, Otimização Combinatória, Grafos e Modelos Computacionais, Descrição: Este projeto tem como temas centrais de pesquisa o estudo de problemas relacionados à Otimização Combinatória e à Teoria dos Grafos, o desenvolvimento de algoritmos, com destaque para as aplicações nas áreas de Geometria Computacional e Biologia Computacional, e o estudo de modelos computacionais não-clássicos. Edital MCT/CNPq 15/2007 - Universal. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Cid Carvalho de Souza - Coordenador / Arnaldo Vieira Moura - Integrante / Orlando Lee - Integrante / Flávio Keidi Miyazawa - Integrante / Pedro Jussieu de Rezende - Integrante / zanoni dias - Integrante / Célia Picinin de Mello - Integrante.
-
2005 - 2008
Otimização Discreta e Grafos: Teoria, Algoritmos e Aplicações, Descrição: Projeto Pluri institucional coordenado pela Professora Yoshiko Wakabayashi do IME USP Proc. no. 490333/04-4 Projeto PROSUL - CNPq Edital No. 016/2004 Ver descrição completa em http://www.ime.usp.br/~yw/prosul/. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Cid Carvalho de Souza - Integrante / Yoshiko Wakabayashi - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2005 - 2007
Modelos Computacionais, Otimização e Estruturas Discretas CNPq Universal 2004, Descrição: Este projeto tem como tema de pesqusa o estudo de estruturas discretas de problemas de otimização combinatória e de modelos computacionais.Portanto, ele se insere não apenas na área de Teoria da Computação mas também na área de Matemática Computacional. Alguns tópicos específicos a serem tratados que ilustram bem o contexto no qual a pesquisa será desenvolvida incluem: (1) algoritmos de planos de cortes faciais para problemas de otimização combinatória, (2) algoritmos de aproximação, (3) heurísticas para problemas NP-difíceis, (4) grafos cobertos por emparelhamentos, (5) caminhos, árvores, coloração e fluxos inteiros em grafos, (6) autômatos híbridos e (7) computação quântica. Valor do financiamento: 39.458,00 reais Mês/Ano de Início;Término: 07/2005 a 08/2007 Número do Processo 471460/2004-4 Grupo/Linha de Pesquisa: Teoria da Computação/Otimização Combinatória Tipo de Finanaciamento; Projeto Universal do CNPq Projeto de Pesquisa Básica e Aplicada Projeto Institucional Relação de alunos: * IC: - Peterson Zilli (+12 meses, FAPESP, cid); - Samir Karam (+12 meses, FAPESP, cid); - Henrique Miranda (+12 meses, FAPESP, cid); - Rafael Cavalcanti (+12 meses, sem bolsa, cid); - João Silva (+12 meses, sem bolsa, cid); - Cláudia Furushima (+12 meses, sem bolsa, cid); - Daniel Bueno Donadon (+12 meses, FAPESP, fkm) - Gabriel Castro (+12 meses, FAPESP, fkm) * MS: - Alberto Miranda (+12 meses, FAPESP, lucchesi) - Rafael Santos (+12 meses, FAPESP, cid); - Antonio Alberto dos Santos (+12 meses, sem bolsa, fkm) - Carlos Eduardo de Andrade (+12 meses, FAPESP, fkm) - André Vignatti (+12 meses, CNPq, fkm) - Wellington Mariusso (+12 meses, sem bolsa, fkm) * DR: - Victor Cavalcanti (+12 meses, CAPES, cid); - Edna Hoshino (+12 meses, CAPES/PICDT, cid); - Evandro Cesar Bracht (+12 meses, FAPESP, fkm) - Luis Angelotti Meira (+12 meses, CNPq, fkm). , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (5) . , Integrantes: Cid Carvalho de Souza - Coordenador / Arnaldo Vieira Moura - Integrante / Orlando Lee - Integrante / Claudio Leonardo Lucchesi - Integrante / Flávio Keidi Miyazawa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2004 - 2007
Pronex - Fundamentos de Ciência da Computação: Algoritmos Combinatórios e Estruturas Discretas, Descrição: Projeto Pluri institucional coordenado pelo Porf. Yoshiharua Kohayakawa IME-USP. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Cid Carvalho de Souza - Integrante / Yoshiharu Kohayakawa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Prêmios
2022
Terceiro lugar no XXXV Concurso de Teses e Dissertações (CTD) do XLII Congresso da SBC obtido pelo mestrando Felipe de C. Pereira (coorientador), Sociedade Brasileira de Computação (SBC).
2021
Best Paper Award - LIII Simpósio Brasileiro de Pesquisa Operacional (SBPO 2021), Sociedade Brasileira de Pesquisa Operacional (SOBRAPO).
2019
4th Place - Workshop on Open Problems and Hard Instance Challenges, Symposium on Computational Geometry (SoCG).
2019
Segundo Lugar no Concurso de Dissertações de Mestrado obtido pelo mestrando Natanael Ramos (orientador),, LI Simpósio Brasileiro de Pesquisa Operacional (SBPO).
2015
Primeiro Prêmio do XXII Concurso Latinoamericano de Tesis de Maestría obtida pelo aluno Davi Tozoni., XLI Conferencia Latinoamericana en Informática (CLEI 2015),.
2013
Prêmio de Excelência Didática, Instituto de Computação, UNICAMP.
2012
Primeiro lugar no Prêmio de Pós-Graduação da SBMAC no XXXIV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 2012) obtido pelo mestrando Marcelo Couto., SBMAC.
2012
Segundo lugar no Prêmio de Iniciação Científica da SBMAC no XXXIV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 2012) obtido pelo aluno Rafael Cano., SBMAC.
2009
XVI Concurso Latinoamericano de Dissertações de Mestrado (CLTM 2009): segunda colocação obtida pelo orientando André Ciré, XXXV Conferencia Latinoamericana de Informática (CLEI 2009).
2008
Patrono da Turma 2003 de Engenharia da Computação, UNICAMP.
2008
Best Applications Paper, 14th International Conference on Principles and Practice of Constraint Programming -Sidney/Australia.
2007
Prêmio Zeferino Vaz de Reconhecimento Acadêmico por atuação de destaque na docência e pesquisa, UNICAMP.
2007
Professor Homenageado, Formandos do Bacharelado em Ciência da Computação da UNCAMP.
2006
Professor Homenageado, Formandos do Bacharelado em Ciência da Computação - UNICAMP.
2005
Prêmio PETROBRAS de Tecnologia - Categoria Produção (aluno: Romulo Albuquerque, co-orientado com Arnaldo Moura), PETROBRAS.
2005
Professor Titular (Análise e Complexidade de Algoritmos), Universidade Estadual de Campinas (Instituto de Computação).
2003
Professor Homenageado, Formandos do Bacharelado em Ciência da Computação - UNICAMP.
2003
Professor Homenageado, Formandos do Bacharelado em Ciência da Computação - UNICAMP.
2001
Premio Zeferino Vaz - Excelência em pesquisa e ensino, UNICAMP.
2001
1o Prêmio do Concurso de Dissertações de Mestrado do CLAIO/UNESCO - Aluno: Tallys H. Yunes (co-orientado com Arnaldo Moura), UNESCO.
1998
4o Prêmio no Concurso de Tese de Mestrado da XXIV Conferência Latinoamericana de Informática, CLEI (aluno: Cláudio Menezes), UNESCO.
1998
Professor Homenageado, Formandos em Engenharia da Computação - UNICAMP.
Histórico profissional
Endereço profissional
-
Universidade Estadual de Campinas, Instituto de Computacao, Instituto de Computação. , Avenida Albert Einstein 1251, C. Universitária Zeferino Vaz, 13083852 - Campinas, SP - Brasil, Telefone: (19) 35215877, Fax: (19) 35215847, URL da Homepage:
Experiência profissional
2005 - Atual
Universidade Estadual de CampinasVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.
2001 - 2005
Universidade Estadual de CampinasVínculo: Servidor Público, Enquadramento Funcional: Professor Associado-Livre Docente-MS5, Carga horária: 40, Regime: Dedicação exclusiva.
1998 - 2000
Universidade Estadual de CampinasVínculo: , Enquadramento Funcional: Professor Livre Docente - MS4, Carga horária: 40, Regime: Dedicação exclusiva.
1994 - 1998
Universidade Estadual de CampinasVínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente Colaborador - MS3, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
06/2009
Direção e administração, Instituto de Computacao.,Cargo ou função, diretor associado.
-
01/1995
Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Fluxos em redes, Algoritmos I, Algoritmos II, Nivelamento, Programacao Linear Inteira
-
07/1994
Pesquisa e desenvolvimento, Instituto de Computacao, Departamento de Teoria da Computação.,Linhas de pesquisa
-
07/1994
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos I, Algoritmos II, Estruturas de Dados, Grafos e Matematica Discreta, Introdução à Programação, Introducao ao Processamento de Dados (cursos externos)
-
05/2010 - 02/2013
Direção e administração, Instituto de Computacao.,Cargo ou função, Diretor Associado.
-
08/2004 - 07/2006
Direção e administração, Departamento de Teoria da Computação, Departamento de Teoria da Computação.,Cargo ou função, Chefe de Departamento.
-
08/1998 - 08/2000
Direção e administração, Instituto de Computacao.,Cargo ou função, Coordenador das Atividades de Extensao do IC/UNICAMP.
-
08/1998 - 08/2000
Direção e administração, Instituto de Matemática Estatística e Ciência da Computação, Departamento de Ciência da Computação.,Cargo ou função, Chefe de Departamento.
-
08/1998 - 07/2000
Extensão universitária , Instituto de Computacao.,Atividade de extensão realizada, Coordenador de Extensao do IC / UNICAMP.
-
05/1995 - 04/1997
Direção e administração, Instituto de Matemática Estatística e Ciência da Computação.,Cargo ou função, Coordenador de Programa.
2000 - 2000
Universidade Federal do Mato Grosso do SulVínculo: Professor Visitante, Enquadramento Funcional: nenhum, Carga horária: 4
Atividades
-
03/2000 - 06/2000
Ensino, Mestrado Em Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, tópicos em otimização combinatória (1 turma)
1986 - 1987
Sociedadeanônima White MartinsVínculo: Servidor público ou celetista, Enquadramento Funcional: analista de sistemas, Carga horária: 0
Atividades
-
12/1986 - 08/1987
Serviços técnicos especializados , Sociedadeanônima White Martins.,Serviço realizado, analista de sistemas.
1984 - 1996
Esso Brasileira de Petróleo S AVínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de sistemas, Carga horária: 40
1984 - 1986
Esso Brasileira de Petróleo S AVínculo: funcionário, Enquadramento Funcional: analista de sistemas, Carga horária: 40
Atividades
-
07/1984 - 12/1986
Serviços técnicos especializados , Esso Brasileira de Petróleo S A.,Serviço realizado, analista de sistemas.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Cid Carvalho de Souza e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?