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

DSpace Repository

A- A A+

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

Show simple item record

dc.contributor.advisor Marchi, Jerusa
dc.contributor.author Alves, Jhonatan
dc.contributor.other Roisenberg, Mauro
dc.contributor.other Furtado, Olinto José Varela
dc.contributor.other Silveira, Ricardo Azambuja
dc.date.accessioned 2018-02-23T20:22:50Z
dc.date.available 2018-02-23T20:22:50Z
dc.date.issued 2012
dc.identifier.other 1308
dc.identifier.uri https://repositorio.ufsc.br/handle/123456789/184183
dc.description TCC (graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Curso de Ciências da Computação.
dc.description.abstract 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.
dc.subject planejamento automático
dc.subject satisfatibilidade booleana
dc.subject redução
dc.title Desenvolvimento de um sistema de planejamento automático baseado na redução ao problema SAT
dc.type TCCgrad


Files in this item

Files Size Format View
TCCVersaoFinal.pdf 762.0Kb PDF View/Open

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics

Compartilhar