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 |