Cid Carvalho de Souza

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1C

  • Endereço para acessar este CV: http://lattes.cnpq.br/9852157976516603
  • Última atualização do currículo em 04/01/2019


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. (Texto informado pelo autor)


Identificação


Nome
Cid Carvalho de Souza
Nome em citações bibliográficas
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.

Endereço


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: www.ic.unicamp.br/~cid/


Formação acadêmica/titulação


1989 - 1993
Doutorado em Doutorado Em Ciências Aplicadas.
Université Catholique de Louvain, UCL, Bélgica.
Título: THE EQUIPARTITION PROBLEM: OPTIMAL SOLUTIONS, EXTENSIONS AND APPLICATIONS, Ano de obtenção: 1993.
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 Terra
Setores de atividade: Informática.
1986 - 1989
Mestrado em Engenharia Elétrica.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: O problema de Steiner na Métrica Retilínea: heurísticas e um estudo computacional,Ano de Obtenção: 1989.
Orientador: 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 Terra
Setores de atividade: Informática.
1981 - 1985
Graduação em Engenharia Elétrica Ênfase Em Sistemas.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.


Pós-doutorado e Livre-docência


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


Atuação Profissional



Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2005 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2001 - 2005
Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado-Livre Docente-MS5, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1998 - 2000
Vínculo: , Enquadramento Funcional: Professor Livre Docente - MS4, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

1994 - 1998
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Professor Assistente Colaborador - MS3, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

06/2009 - Atual
Direção e administração, Instituto de Computacao, .

Cargo ou função
diretor associado.
01/1995 - Atual
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
7/1994 - Atual
Pesquisa e desenvolvimento , Instituto de Computacao, Departamento de Teoria da Computação.

7/1994 - Atual
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.
8/2004 - 7/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 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 - 08/2000
Direção e administração, Instituto de Computacao, .

Cargo ou função
Coordenador das Atividades de Extensao do IC/UNICAMP.
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.

Universidade Federal do Mato Grosso do Sul, UFMS, Brasil.
Vínculo institucional

2000 - 2000
Vínculo: Professor Visitante, Enquadramento Funcional: nenhum, Carga horária: 4

Atividades

3/2000 - 6/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)

Sociedadeanônima White Martins, SAWM, Brasil.
Vínculo institucional

1986 - 1987
Vínculo: Servidor público ou celetista, Enquadramento Funcional: analista de sistemas, Carga horária: 0

Atividades

12/1986 - 8/1987
Serviços técnicos especializados , Sociedadeanônima White Martins, .

Serviço realizado
analista de sistemas.

Esso Brasileira de Petróleo S A, ESSO, Brasil.
Vínculo institucional

1984 - 1996
Vínculo: Servidor público ou celetista, Enquadramento Funcional: Analista de sistemas, Carga horária: 40

Vínculo institucional

1984 - 1986
Vínculo: funcionário, Enquadramento Funcional: analista de sistemas, Carga horária: 40

Atividades

7/1984 - 12/1986
Serviços técnicos especializados , Esso Brasileira de Petróleo S A, .

Serviço realizado
analista de sistemas.


Linhas de pesquisa


1.
Programação Linear Inteira
2.
Otimização Combinatória
3.
Projeto e Análise de Algoritmos


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: 6 / Número de orientações: 5
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.


Membro de corpo editorial


2007 - Atual
Periódico: International Transactions in Operational Research


Revisor de periódico


2005 - Atual
Periódico: Journal on Combinatorial Optimization and Applications
2007 - Atual
Periódico: Computers and Operations Research
2005 - Atual
Periódico: Discrete Applied Mathematics
2004 - Atual
Periódico: European Journal of Operational Research
2006 - Atual
Periódico: International Transactions in Operational Research
2007 - Atual
Periódico: Journal of Heuristics
2001 - Atual
Periódico: Journal of Combinatorial Optimization
2000 - Atual
Periódico: Mathematical Programming
2005 - Atual
Periódico: Networks (New York)
2000 - Atual
Periódico: Operations Research Letters
2000 - Atual
Periódico: Theoretical Computer Science
1995 - Atual
Periódico: Pesquisa Operacional
2007 - Atual
Periódico: Produção (São Paulo)
2008 - Atual
Periódico: Discrete Mathematics


Áreas de atuação


1.
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.
2.
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.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Pouco, Lê Razoavelmente.


Prêmios e títulos


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.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:61
Total de citações:523
Fator H:13
de Souza, Cid C  Data: 24/07/2018

SCOPUS
Total de trabalhos:89
Total de citações:779
de Souza, Cid - Fator H: 16  Data: 24/07/2018

Outras
Total de trabalhos:184
Total de citações:1761
http://scholar.google.com.br/citations?user=t_w8cAkAAAAJ&hl=en  Data: 24/07/2018

Artigos completos publicados em periódicos

1.
ZAMBON, MAURICIO J.O.2018ZAMBON, 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.

2.
Piva, Breno2017Piva, Breno ; de Souza, Cid C. . Minimum stabbing rectangular partitions of rectilinear polygons. COMPUTERS & OPERATIONS RESEARCH, v. 80, p. 184-197, 2017.

3.
BRAGA, A. S.2016BRAGA, 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.

4.
AGRA, AGOSTINHO2016AGRA, 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.

5.
OLIVEIRA, LUCAS DE2016OLIVEIRA, 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.

6.
TOZONI, DAVI C.2016TOZONI, 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.

7.
DE OLIVEIRA, LUCAS2015DE 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.

8.
BRAGA, ANDREI2015BRAGA, 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.

9.
CANO, RAFAEL G.2015CANO, 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.

10.
Kunigami, Guilherme2014Kunigami, 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.

11.
DE OLIVEIRA, LUCAS2014DE 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.

12.
Piva, Breno2014Piva, 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.

13.
CREPALDI, B. E.2014CREPALDI, 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.

14.
CANO, RAFAEL G.2013CANO, 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.

15.
Lopes, Tony M.T.2012Lopes, 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.

16.
Hoshino, Edna A.2012Hoshino, 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.

17.
Bahiense, Laura2012Bahiense, 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.

18.
Kunigami, Guilherme2012Kunigami, 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.

19.
Piva, Breno2012Piva, Breno ; Souza, Cid Carvalho . Polyhedral study of the maximum common induced subgraph problem. Annals of Operation Research, v. 199, p. 77-102, 2012.

20.
de Souza, Cid C.2011de 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.

21.
Hoshino, Edna A.2011Hoshino, 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.

22.
Figueiredo, Rosa M.V.2011Figueiredo, 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.

23.
Couto, Marcelo C.2011Couto, 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.

24.
Simonetti, L.2011Simonetti, 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.

25.
Lopes, Tony Minoru Tamura2010Lopes, 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.

26.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2008SOUZA, 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.

27.
Figueiredo, Rosa M. V.2008Figueiredo, 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.

28.
Moura, Arnaldo V.2008Moura, 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.

29.
RODRIGUES, M2006RODRIGUES, 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.

30.
COLL, P2006COLL, P ; RIBEIRO, C ; DESOUZA, C . Multiprocessor scheduling under precedence constraints: Polyhedral results. Discrete Applied Mathematics, Holanda, v. 154, p. 770-801, 2006.

31.
Macambira, Elder M.2006Macambira, 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.

32.
Yunes, Tallys H.2005 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.

33.
BALAS, Egon2005 BALAS, Egon ; Souza, Cid C. de . The vertex separator problem: a polyhedral investigation. Mathematical Programming, Alemanha, v. 103, n.3, p. 583-608, 2005.

34.
Souza, Cid de2005 Souza, Cid de; BALAS, Egon . The vertex separator problem: algorithms and computations. Mathematical Programming, Holanda, v. 103, n.3, p. 609-631, 2005.

35.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2005SOUZA, 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.

36.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2005SOUZA, 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.

37.
Souza, Cid C. de2005Souza, 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.

38.
MOREANO, N.2005MOREANO, 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.

39.
Dias, Tiago M.2003Dias, 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.

40.
Calheiros, Felipe C.2003Calheiros, 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.

41.
Ferreira, C.E.2002Ferreira, 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.

42.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2001SOUZA, 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.

43.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2000SOUZA, 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.

44.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2000SOUZA, 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.

45.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.2000SOUZA, 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.

46.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1999SOUZA, 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.

47.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1998 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.

48.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1996 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.

49.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1995SOUZA, Cid Carvalho de; LAURENT, M. . Some New Facets For The Equicut Polytope. Discrete Applied Mathematics, Holanda, v. 62, n.3, p. 167-192, 1995.

50.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1994SOUZA, 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.

51.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1993SOUZA, 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.

52.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1990SOUZA, Cid Carvalho de; RIBEIRO, C. C. . O Problema de Steiner Na Metrica Retilinea. Investigación Operativa, v. 1, n.3, p. 213-250, 1990.

53.
SOUZA, Cid Carvalho de;de Souza, Cid C.;de Souza, C.C.;de Souza, Cid Carvalho;de Souza, Cid;Souza, Cid Carvalho;Carvalho de Souza, Cid;DESOUZA, C;Cid de Souza,;Souza, Cid C. de;Souza, Cid de;Souza, Cid C.;CID DE SOUZA;CID DE SOUZA, NULL;Souza, Cid;DE SOUZA, C. C.1990SOUZA, 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.

Capítulos de livros publicados
1.
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.

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

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

Trabalhos completos publicados em anais de congressos
1.
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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Resumos expandidos publicados em anais de congressos
1.
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.

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

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

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

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

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

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

Resumos publicados em anais de congressos
1.
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.

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

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

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

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

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

Artigos aceitos para publicação
1.
CANO, RAFAEL G. ; de Souza, Cid C. ; de Rezende, Pedro J. . Solving dynamic labeling problems to optimality using solution space reductions. THEORETICAL COMPUTER SCIENCE, 2018.

2.
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, 2018.

3.
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, 2018.

Outras produções bibliográficas
1.
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).

2.
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).

3.
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).

4.
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).

5.
SOUZA, Cid Carvalho de; MENESES, C. N. . Exact solutions of rectangular partitions via integer programming.. Campinas: IC/UNICAMP, 1998 (Relatorio Tecnico).

6.
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).

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

8.
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).


Produção técnica
Assessoria e consultoria
1.
SOUZA, Cid Carvalho de; STOLFI, J. . Localização otimizada de Rádios Comunitárias. 2005.

2.
SOUZA, Cid Carvalho de; STOLFI, J. . Distribuição Otimizada de Telefones Públicos. 2001.

Programas de computador sem registro
1.
SOUZA, Cid Carvalho de; FERBER, D. ; MACEDO, T. D. ; MOURA, Arnaldo Vieira . Escalas de Enfermarias em Hospitais. 2002.

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

Trabalhos técnicos


Bancas




Participação em bancas de comissões julgadoras
Concurso público
1.
SOUZA, Cid Carvalho de. Concurso Público de Ingresso na Carreira. 2003. Universidade de São Paulo.

Livre docência
1.
SOUZA, Cid Carvalho de. Livre Docência em Complexidade de Algoritmos. 2003. Universidade Estadual de Campinas.

Avaliação de cursos
1.
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.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IntErnational Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies.Lagrangian relaxation and cutting planes for the vertex separator problem. 2007. (Simpósio).

2.
19th International Symposium on Mathematical Programming. Lagrangian relaxation and cutting planes for the vertex separator problem. 2006. (Congresso).

3.
III Workshop on Efficient and Experimental Algorithms. The Datapath Merging Problem in Reconfigurable Systems: Lower Bounds and Heuristic Evaluation. 2004. (Congresso).

4.
Mathematical Programming in Rio: A conference in Honor to Nelson Maculan.The Vertex Separation Problem; polyhedral investigations and computation. 2003. (Simpósio).

5.
Workshop International do Pronex em Estruturas Discretas.The datapath merging problem in the design of reconfigurable systems. 2003. (Oficina).

6.
INFORMS Annual Meeting. A polyhedral approach to scheduling processors under precedence constraints. 2002. (Congresso).

7.
EURO 2001. Optimal Rectangular Partitions. 2001. (Congresso).

8.
17th International Symposium on Mathematical Programming.Solving a real world crew rostering problem with integer programming and constraint logic programming models. 2000. (Simpósio).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Alan Martins Silva. Metaheurísticas Aplicadas ao Problema do Brigadista Seletivo em Grafos. Início: 2017. 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).

2.
Ana Paula dos Santos Dantas (orientador: Zanoni Dias). Recoloração Convexa de Grafos. Início: 2017. 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).

Tese de doutorado
1.
Natanael Ramos. 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).

2.
Allan Sapucaia. O Problema da Partição Convexa Mínima. Início: 2017. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Orientador).

3.
Andrei de Almeida Sampaio Braga. Novas contribuições para a resolução de alguns problemas eternos em grafos. Início: 2011. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Natanael Ramos (co-orientador: P.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.

2.
Davi Colli Tozoni (co-orientado por P.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.

3.
Eduardo Theodoro Bogue. 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.

4.
Alex Fernando Brandt (co-orientador: P.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.

5.
Bruno Espinosa Crepaldi. 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.

6.
Mauricio Jose de Oliveira Zambon. 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.

7.
Igor Assis Ribeiro. 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.

8.
Lucas de Oliveira. 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.

9.
Peterson Katagiri Zilli. 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.

10.
Andrei de Almeida Sampaio Braga. 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.

11.
Bruno Conti Marini. 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.

12.
Guilherme Kunigami. 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.

13.
Marcelo Couto (co-orientador: Pedro de Rezende). 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.

14.
Cláudia Akemi Furushima. 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.

15.
Tony Minoru Tamura Lopes (orientador: Arnaldo Moura). 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.

16.
Breno Piva Ribeiro. 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.

17.
André Augusto Cire (orientador: Arnaldo Moura). 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.

18.
Rafael Francisco dos Santos. 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.

19.
Romulo A. 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.

20.
Glauber José Vaz (co-orientado por Prof. 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.

21.
Juliana M. 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.

22.
Maikol Rodrigues Magalhães. 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.

23.
Felipe C. 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.

24.
Tallys Hoover Yunes (co-orientado por Prof. 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.

25.
Ricardo Scachetti Pereira. 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.

26.
Cristina Celia de Barros Cavalcante. 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.

27.
Elder Magalhães Macambira. 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.

28.
Cláudio Nogueira de Menezes. 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.

29.
AMINADAB PEREIRA NUNES. 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.

Tese de doutorado
1.
Maurício Zambom. 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.

2.
Rafael Ghussn Cano (co-orientado por P.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.

3.
Lucas Oliveira. 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.

4.
Breno Piva. 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.

5.
Edna Hoshino. 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.

6.
Victor Fernandes Cavalcante. 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.

7.
Elder Macambira (co-orientado por Prof. 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.

8.
Pablo Coll (co-orientado com Prof. 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.

Supervisão de pós-doutorado
1.
Rafael G. Cano. 2017. Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Cid Carvalho de Souza.

2.
Alexandre da Silva Freire. 2014. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Cid Carvalho de Souza.

3.
Luidi Simonetti. 2010. Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Cid Carvalho de Souza.

4.
Yuri Abitbol Frota. 2010. Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Cid Carvalho de Souza.

5.
Gordana Manic. 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.

Iniciação científica
1.
Matheus de Souza Ataide. 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.

2.
Yuri Correa Pinto Soares (orientador: P. 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.

3.
Alan Sapucaia Barboza. 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.

4.
Alex Fernando Brandt. 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.

5.
Bruno Espinosa Crepaldi. 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.

6.
Rafael Ghussn Cano. 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.

7.
Miguel Francisco Alves de Mattos Gaiowski. 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.

8.
Peterson Zilli. 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.

9.
Rafael Forte Araújo Cavalcanti. 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.

10.
Claudia Akemi Furushima. 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.

11.
Henrique Mendes. 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.

12.
João Marcos da Cunha Silva. 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.

13.
Samir Karam. 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.

14.
Vinícius José Fortuna (co-orientado com Prof. 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.

15.
Douglas Minoru Kagohara. 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.

16.
Andre Marques Morais de Lima. 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.

17.
Rômulo Albuquerque (co-orientado com o Prof. 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.

18.
Tiago Dias Macedo (co-orientado por Prof. 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.

19.
Daniel Ferber (co-orientado com Prof. 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.

20.
Ricardo Pereira Scachetti. 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.



Educação e Popularização de C & T



Livros e capítulos
1.
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.




Página gerada pelo Sistema Currículo Lattes em 17/02/2019 às 4:36:22