Följ
Bruno César Ribas
Bruno César Ribas
UnB-FGA
Verifierad e-postadress på unb.br - Startsida
Titel
Citeras av
Citeras av
År
On modelling virtual machine consolidation to pseudo-Boolean constraints
BC Ribas, RM Suguimoto, RANR Montano, F Silva, L de Bona, ...
Advances in Artificial Intelligence–IBERAMIA 2012: 13th Ibero-American …, 2012
322012
PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation
BC Ribas, RM Suguimoto, RANR Montano, F Silva, M Castilho
2nd Brazilian Conference on Intelligent Systems (BRACIS), 201-206, 2013
202013
Satisfatibilidade não-clausal restrita às variáveis de entrada
BC Ribas
72012
On modeling connectedness in reductions from graph problems to extended satisfiability
R Tavares de Oliveira, F Silva, BC Ribas, MA Castilho
Advances in Artificial Intelligence–IBERAMIA 2012: 13th Ibero-American …, 2012
52012
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista
BC Ribas
32015
SDI-Sistema de Diagnóstico Instantâneo
BC Ribas, DG Pasqualin, VK Ruoso, M Castilho, F Silva, LCE de Bona
Workshop de Software Livre, 2009
32009
Planning as Mixed-Horn Formulas Satisfiability
RANR Montano, BC Ribas
ENIAC, 2017
12017
Managing a grid of computer laboratories for educational purposes
LCE De Bona, M Castilho, F Silva, D Weingartner, LHA Lourenço, ...
12008
Maratona-Linux: um ambiente para a Maratona de Programação
WB Morais, BC Ribas
Anais do Computer on the Beach, 416-426, 2019
2019
Acesso de mıdias removıveis em terminais thinclient sem disco
BC Ribas, J de Souza, F Silva, LCE de Bona, M Castilho
Description of PBFVMC Benchmarks for Pseudo-Boolean Evaluation 2015
BC Ribas, F Silva
Planejamento do despacho hidro-térmico com Inteligência Artificial
F Silva, AI Direne, LM Peres, D Weingaertner, BC Ribas, GC Bazzo, ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–12