Navegando por Orientador Ribas, Bruno César

Pular para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre as primeiras letras:  
Mostrando resultados 1 a 13 de 13
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
6-Abr-20229-Dez-2020Uma abordagem pseudo-booleana para consolidação de máquinas virtuais com restrições de afinidadeLara, Ulysses Bernard MendesRibas, Bruno César-
28-Fev-20235-Out-2022Banco de dados em grafos : uma conversão para restrições pseudo-booleanasTiveron, Gabriel MarquesRibas, Bruno César-
3-Mar-202328-Set-2022CD-MOJ : contribuições para melhorias no sistemaSilva, Luciano dos SantosRibas, Bruno César-
11-Abr-20232022Uma implementação paralela em GPU do algoritmo WalksatTaira, Luís Henrique PereiraRibas, Bruno César-
30-Jul-202418-Dez-2023Infraplanning : uma plataforma web para desenvolvimento em PDDLBarreto, Antonio Ruan MouraRibas, Bruno César-
3-Mar-20236-Mai-2022Modificando o SATPLAN06 com outros métodos de buscaNóbrega, Mateus NascimentoRibas, Bruno César-
19-Set-202310-Fev-2023Otimização de grade horária por planejamentoDias, João Luis Takur BarakyRibas, Bruno César-
3-Jul-202424-Jul-2023Planejamento clássico : análise para otimização do tempo de geração de fórmulas do SATPLANOliveira, Marcelo Martins deRibas, Bruno César-
28-Fev-20235-Mai-2022PluSAT : um resolvedor SAT modularChaves, Felipe Borges de SouzaRibas, Bruno César-
3-Mar-20236-Mai-2022Representação AIG como formato de entrada para o LIAMFSATSilva, Lucas GomesRibas, Bruno César-
27-Fev-20235-Mai-2022Resolvendo fórmulas Horn mistas com um algoritmo 𝑂(20.5284×𝑁)Pinto, André Lucas de SousaRibas, Bruno César-
28-Fev-202311-Out-2022Resolvendo pipe mania como planejamentoBanci, Guilherme Antonio DeusdaráRibas, Bruno César-
4-Jul-202421-Jul-2023Resolvendo Puzznic através de planejamento automatizadoPereira, Samuel de Souza ButersRibas, Bruno César-
Mostrando resultados 1 a 13 de 13