Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas

Detalhes bibliográficos
Autor(a) principal: RICARDO TAVARES DE OLIVEIRA
Data de Publicação: 2013
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=103457
id BRCRIS_4303937e119c5fce0dca0cd149d8ab31
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
title Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
spellingShingle Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
Satisfabilidade Booleana
RICARDO TAVARES DE OLIVEIRA
title_short Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
title_full Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
title_fullStr Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
title_full_unstemmed Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
title_sort Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas
topic Satisfabilidade Booleana
publishDate 2013
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=103457
author_role author
author RICARDO TAVARES DE OLIVEIRA
author_facet RICARDO TAVARES DE OLIVEIRA
dc.contributor.advisor1.fl_str_mv FABIANO SILVA
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO PARANÁ
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO PARANÁ
instname_str UNIVERSIDADE FEDERAL DO PARANÁ
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasReduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias ObtidasSatisfabilidade Booleana2013masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=103457authorRICARDO TAVARES DE OLIVEIRAFABIANO SILVAUNIVERSIDADE FEDERAL DO PARANÁUNIVERSIDADE FEDERAL DO PARANÁUNIVERSIDADE FEDERAL DO PARANÁINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv OLIVEIRA, RICARDO TAVARES DE. Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas. 2013. Tese.
dc.identifier.citation.fl_str_mv OLIVEIRA, RICARDO TAVARES DE. Reduções de Problemas em Grafos com Soluções Conexas para (Max)SAT e Adaptação de um Resolvedor SAT e MaxSAT para as Instâncias Obtidas. 2013. Tese.
_version_ 1741884916388331520

Registros relacionados