Índice
-
- INF05010: Otimização combinatória
- INF05016/CMP 588: Algoritmos avançados
- INF05508: Lógica para computação
- INF05516: Semântica formal
- CMP268: Técnicas de busca heurística
- INF05504/CMP605: Tópicos selecionados em Otimização Combinatória