Browsing by Subject Otimização
Showing results 1 to 2 of 2
| Issue Date | Preview | Title | Author(s) | ???itemlist.dc.contributor.advisor1??? | Program | Document Type |
|---|---|---|---|---|---|---|
| 27-Mar-2019 |  | Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT | Albuquerque, Higo Ferreira | Cordeiro, Lucas Carvalho | Programa de Pós-graduação em Engenharia Elétrica | Dissertação |
| 30-Mar-2017 |  | Um novo método de otimização baseado em teorias de satisfatibilidade | Araújo, Rodrigo Farias | Chaves Filho, João Edgar | Programa de Pós-graduação em Engenharia Elétrica | Dissertação |