DESENVOLVIMENTO DE UM SISTEMA DE PLANEJAMENTO AUTOMÁTICO BASEADO NA REDUÇÃO AO PROBLEMA SAT
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2012 |
| Tipo de documento: | Trabalho de conclusão de curso |
| Texto Completo: | https://repositorio.ufsc.br/handle/123456789/184183 |
| id |
UFSC_d3893c12ae2ec58cfb4b96e516dfd41d |
|---|---|
| oai_identifier_str |
oai:repositorio.ufsc.br:123456789/184183 |
| network_name_str |
Repositório Institucional da UFSC |
| title |
DESENVOLVIMENTO DE UM SISTEMA DE PLANEJAMENTO AUTOMÁTICO BASEADO NA REDUÇÃO AO PROBLEMA SAT |
| author |
Alves, Jhonatan |
| topic |
planejamento automático satisfatibilidade booleana redução |
| publishDate |
2012 |
| format |
bachelorThesis |
| url |
https://repositorio.ufsc.br/handle/123456789/184183 |
| instname_str |
Universidade Federal de Santa Catarina (UFSC) |
| instacron_str |
UFSC |