ReP USP - Resultado da busca

Dissertação (Mestrado)
Generating non-analytic cuts for boolean formulas with linear programming (2026)
Pevidor, João Felipe Lobo; Finger, Marcelo (Orientador)
Unidade: IME
Subjects: LÓGICA, PROGRAMAÇÃO INTEIRA E FLUXOS EM REDE, OTIMIZAÇÃO MATEMÁTICA, PROGRAMAÇÃO LINEAR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PEVIDOR, João Felipe Lobo. Generating non-analytic cuts for boolean formulas with linear programming. 2026. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2026. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-01042026-180812/. Acesso em: 23 abr. 2026.
APA
Pevidor, J. F. L. (2026). Generating non-analytic cuts for boolean formulas with linear programming (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-01042026-180812/
NLM
Pevidor JFL. Generating non-analytic cuts for boolean formulas with linear programming [Internet]. 2026 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-01042026-180812/
Vancouver
Pevidor JFL. Generating non-analytic cuts for boolean formulas with linear programming [Internet]. 2026 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-01042026-180812/
Dissertação (Mestrado)
Modelos de programação inteira para o problema de busca de motivos em redes biológicas (2022)
Prazeres, Ricardo Molinari dos; Freire, Alexandre da Silva (Orientador)
Unidade: EACH
Subjects: BIOINFORMÁTICA, TEORIA DOS GRAFOS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PRAZERES, Ricardo Molinari dos. Modelos de programação inteira para o problema de busca de motivos em redes biológicas. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://teses.usp.br/teses/disponiveis/100/100131/tde-24082022-162352/. Acesso em: 23 abr. 2026.
APA
Prazeres, R. M. dos. (2022). Modelos de programação inteira para o problema de busca de motivos em redes biológicas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/100/100131/tde-24082022-162352/
NLM
Prazeres RM dos. Modelos de programação inteira para o problema de busca de motivos em redes biológicas [Internet]. 2022 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/100/100131/tde-24082022-162352/
Vancouver
Prazeres RM dos. Modelos de programação inteira para o problema de busca de motivos em redes biológicas [Internet]. 2022 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/100/100131/tde-24082022-162352/
Tese (Doutorado)
Problemas de empacotamento bidimensional em níveis: estratégias baseadas em modelagem matemática (2018)
Bezerra, Vanessa Munhoz Reina; Oliveira, José Fernando da Costa (Orientador); Santos, Maristela Oliveira dos (Orientador)
Unidade: ICMC
Subjects: PROGRAMAÇÃO MATEMÁTICA, OTIMIZAÇÃO COMBINATÓRIA, ANÁLISE DE COORTE, PROGRAMAÇÃO DA PRODUÇÃO, HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BEZERRA, Vanessa Munhoz Reina. Problemas de empacotamento bidimensional em níveis: estratégias baseadas em modelagem matemática. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-23072018-095234/. Acesso em: 23 abr. 2026.
APA
Bezerra, V. M. R. (2018). Problemas de empacotamento bidimensional em níveis: estratégias baseadas em modelagem matemática (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55134/tde-23072018-095234/
NLM
Bezerra VMR. Problemas de empacotamento bidimensional em níveis: estratégias baseadas em modelagem matemática [Internet]. 2018 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-23072018-095234/
Vancouver
Bezerra VMR. Problemas de empacotamento bidimensional em níveis: estratégias baseadas em modelagem matemática [Internet]. 2018 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-23072018-095234/
Dissertação (Mestrado)
Métodos de solução para o problema de escalonamento de médicos (2016)
Devesse, Valdemar Abrão Pedro Anastácio; Santos, Maristela Oliveira dos (Orientador)
Unidade: ICMC
Subjects: OTIMIZAÇÃO COMBINATÓRIA, PROGRAMAÇÃO LINEAR, PROGRAMAÇÃO MATEMÁTICA, HEURÍSTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DEVESSE, Valdemar Abrão Pedro Anastácio. Métodos de solução para o problema de escalonamento de médicos. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-07112016-101859/. Acesso em: 23 abr. 2026.
APA
Devesse, V. A. P. A. (2016). Métodos de solução para o problema de escalonamento de médicos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55134/tde-07112016-101859/
NLM
Devesse VAPA. Métodos de solução para o problema de escalonamento de médicos [Internet]. 2016 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-07112016-101859/
Vancouver
Devesse VAPA. Métodos de solução para o problema de escalonamento de médicos [Internet]. 2016 ;[citado 2026 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-07112016-101859/

USP Schools

ReP

Filtros

Authors

Subjects