Bruno César Ribas
Bruno César Ribas
UnB-FGA
Verified email at unb.br - Homepage
Title
Cited by
Cited by
Year
On modelling virtual machine consolidation to pseudo-Boolean constraints
BC Ribas, RM Suguimoto, RANR Montano, F Silva, L de Bona, ...
Ibero-American Conference on Artificial Intelligence, 361-370, 2012
272012
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
142013
On modeling connectedness in reductions from graph problems to extended satisfiability
RT de Oliveira, F Silva, BC Ribas, MA Castilho
Ibero-American Conference on Artificial Intelligence, 381-391, 2012
42012
Satisfatibilidade não-clausal restrita às variáveis de entrada
BC Ribas
32012
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
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ç ao
WB Morais, BC Ribas
2019
Planning as Mixed-Horn Formulas Satisfiability
RANR Montano, BC Ribas
ENIAC, 2017
2017
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
2015
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, ...
The system can't perform the operation now. Try again later.
Articles 1–12