Prof. Bruno Ribas
@BrunoRibas
21:50
[TCC2] João Baraky - Otimização de Grade Horária por Planejamento
Prof. Bruno Ribas
Shared 13/02/2023
22:13
[TCC2] Gabriel M. Tiveron - Banco de Dados em Grafos: Uma Conversão para Restrições pseudo-Booleanas
Prof. Bruno Ribas
Shared 24/10/2022
27:56
[TCC2] Guilherme Deusdará Banci: Resolvendo Pipe Mania como Planejamento
Prof. Bruno Ribas
Shared 21/10/2022
16:18
[TCC2] Luciano Silva - CD-MOJ: Contribuições para melhorias no sistema
Prof. Bruno Ribas
Shared 05/10/2022
05
PIBIC 2022 - Consolidação de Máquinas Virtuais - Gabriel M. Tiveron
Prof. Bruno Ribas
Shared 28/09/2022
29:16
[TCC2] Mateus Nóbrega - Modificando o SATPLAN06 com Outros Métodos de Busca
Prof. Bruno Ribas
Shared 07/07/2022
20:52
[TCC2] Lucas Gomes - Formato AIG como parâmetro de entrada para o LIAMFSAT
Prof. Bruno Ribas
Shared 14/06/2022
18:09
[TCC2] André Pinto - Resolvendo Fórmulas Horn Mistas com um Algoritmo 𝑂(2^(0.5284×𝑁 ))
Prof. Bruno Ribas
Shared 07/06/2022
29:04
(Corte de Aula) Problema resolvido: Números Malucos Únicos Reinseridos
Prof. Bruno Ribas
Shared 16/08/2021