UNIVERSIDADE FEDERAL DE PELOTAS CENTRO DE DESENVOLVIMENTO TECNOLÓGICO TRABALHO DE CONCLUSÃO DE CURSO Apresentações Finais (2018/2) Implementação de Um Método de Posicionamento de Transistores Baseado em Satisfatibilidade Booleana na Ferramenta ASTRAN por Andrei Ali Odes Bubolz Curso: Engenharia de Computação Banca: Prof. Felipe de Souza Marques (orientador(a)) Prof. Maicon Schneider Cardoso (coorientador(a)) Prof. Bruno Zatt Prof. Julio Saraçol Domingues Junior Data: 04 de dezembro de 2018 Hora: 10:00 Local: Lab 1