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 | 32 | 2012 |
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 | 20 | 2013 |
Satisfatibilidade não-clausal restrita às variáveis de entrada BC Ribas | 7 | 2012 |
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 | 5 | 2012 |
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 | 3 | 2015 |
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 | 3 | 2009 |
Planning as Mixed-Horn Formulas Satisfiability RANR Montano, BC Ribas ENIAC, 2017 | 1 | 2017 |
Managing a grid of computer laboratories for educational purposes LCE De Bona, M Castilho, F Silva, D Weingartner, LHA Lourenço, ... | 1 | 2008 |
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, ... | | |