Um novo método de otimização baseado em teorias de satisfatibilidade

Submitted by Marcos Roberto Gomes (mrobertosg@gmail.com) on 2017-06-22T15:28:21Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Rodrigo_Farias_Araujo.pdf: 2432590 bytes, checksum: a0accf6a453257550a0ea9f75b50b687 (MD5) === Approved for entr...

Full description

Bibliographic Details
Main Author: Araújo, Rodrigo Farias
Other Authors: Chaves Filho, João Edgar
Format: Others
Language:Portuguese
Published: Universidade Federal do Amazonas 2017
Subjects:
Online Access:http://tede.ufam.edu.br/handle/tede/5715