UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE

Detalhes bibliográficos
Autor(a) principal: RODRIGO FARIAS ARAUJO
Data de Publicação: 2017
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=5742369
id BRCRIS_e40c77615c71d6aefa8785d43c33cd85
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
title UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
spellingShingle UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
otimização, satisfatibilidade, teoria do modulo de satisfatibilidade, planejamento de caminho
optimization, satisfiability, satisfiability modulo theory, path planning
RODRIGO FARIAS ARAUJO
title_short UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
title_full UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
title_fullStr UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
title_full_unstemmed UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
title_sort UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE
topic otimização, satisfatibilidade, teoria do modulo de satisfatibilidade, planejamento de caminho
optimization, satisfiability, satisfiability modulo theory, path planning
publishDate 2017
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5742369
author_role author
author RODRIGO FARIAS ARAUJO
author_facet RODRIGO FARIAS ARAUJO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2107906714409879
dc.identifier.orcid.none.fl_str_mv https://orcid.org/0000-0002-9234-3507
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO AMAZONAS
instname_str UNIVERSIDADE FEDERAL DO AMAZONAS
dc.publisher.program.fl_str_mv ENGENHARIA ELÉTRICA
dc.description.course.none.fl_txt_mv ENGENHARIA ELÉTRICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEUM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADEotimização, satisfatibilidade, teoria do modulo de satisfatibilidade, planejamento de caminho2017masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=5742369authorRODRIGO FARIAS ARAUJOhttp://lattes.cnpq.br/2107906714409879https://orcid.org/0000-0002-9234-3507UNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASUNIVERSIDADE FEDERAL DO AMAZONASENGENHARIA ELÉTRICAENGENHARIA ELÉTRICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ARAUJO, RODRIGO FARIAS. UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE. 2017. Tese.
dc.identifier.citation.fl_str_mv ARAUJO, RODRIGO FARIAS. UM NOVO MÉTODO DE OTIMIZAÇÃO BASEADO EM TEORIAS DE SATISFATIBILIDADE. 2017. Tese.
_version_ 1741885673121513472

Registros relacionados