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
This item appears in the following Collection(s)
Show simple item record
Search DSpace
Browse
-
All of DSpace
-
This Collection
My Account
Statistics
Compartilhar