Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT

Detalhes bibliográficos
Autor(a) principal: Alves, Jhonatan
Data de Publicação: 2012
Tipo de documento: Trabalho de conclusão de curso
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/184183
Resumo: TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
id UFSC_d3893c12ae2ec58cfb4b96e516dfd41d
oai_identifier_str oai:repositorio.ufsc.br:123456789/184183
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Alves, JhonatanRoisenberg, MauroFurtado, Olinto José VarelaSilveira, Ricardo AzambujaMarchi, Jerusa2018-02-23T20:22:50Z2018-02-23T20:22:50Z20121308https://repositorio.ufsc.br/handle/123456789/184183TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.O objetivo deste trabalho é o desenvolvimento de um sistema de planejamento automático que utilize SATPLAN como técnica de busca de planos para instancias de problemas de planejamento automático.planejamento automáticosatisfatibilidade booleanareduçãoDesenvolvimento de um sistema de planejamento automático baseado na redução ao problema SATinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALTCCVersaoFinal.pdfTCCVersaoFinal.pdfapplication/pdf780342https://repositorio.ufsc.br/bitstream/123456789/184183/1/TCCVersaoFinal.pdf39f6cbc0a5e893ef9c626dfeacff7949MD51123456789/1841832022-08-26 16:48:06.327oai:repositorio.ufsc.br:123456789/184183Repositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732022-08-26T19:48:06Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
title Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
spellingShingle Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
Alves, Jhonatan
planejamento automático
satisfatibilidade booleana
redução
title_short Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
title_full Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
title_fullStr Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
title_full_unstemmed Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
title_sort Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
author Alves, Jhonatan
author_facet Alves, Jhonatan
author_role author
dc.contributor.other.none.fl_str_mv Roisenberg, Mauro
Furtado, Olinto José Varela
Silveira, Ricardo Azambuja
dc.contributor.author.fl_str_mv Alves, Jhonatan
dc.contributor.advisor1.fl_str_mv Marchi, Jerusa
contributor_str_mv Marchi, Jerusa
dc.subject.por.fl_str_mv planejamento automático
satisfatibilidade booleana
redução
topic planejamento automático
satisfatibilidade booleana
redução
description TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
publishDate 2012
dc.date.issued.fl_str_mv 2012
dc.date.accessioned.fl_str_mv 2018-02-23T20:22:50Z
dc.date.available.fl_str_mv 2018-02-23T20:22:50Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://repositorio.ufsc.br/handle/123456789/184183
dc.identifier.other.none.fl_str_mv 1308
identifier_str_mv 1308
url https://repositorio.ufsc.br/handle/123456789/184183
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/184183/1/TCCVersaoFinal.pdf
bitstream.checksum.fl_str_mv 39f6cbc0a5e893ef9c626dfeacff7949
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1766805204505722880

Registros relacionados