Výsledky vyhledávání - "Albuquerque, Higo Ferreira"

Uma abordagem de otimiza????o guiada por contraexemplos usando solucionadores SAT e SMT

Publikováno v: Biblioteca Digital de Teses e Dissertações da UFAM
Universidade Federal do Amazonas (UFAM)
instacron:UFAM

Submitted by Higo Albuquerque (albuquerque.higo@gmail.com) on 2019-04-22T01:12:26Z No. of bitstreams: 5 Folha_aprova????o_Higo.pdf: 159038 bytes, checksum: 031b407df74fb593cc43934b4cfdb7f9 (MD5) CartaEncaminhamentoAutodepo??sito_Higo.pdf: 71098 bytes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::11b0285ce633aa5d608e9ebab501e24e
https://tede.ufam.edu.br/handle/tede/7096

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání