Bruno Cesar Ribas

On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability

Marcos A. Castilho, Fabiano Silva, Ricardo Tavares de Oliveira, 2012, IBERAMIA.

Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista

Bruno Cesar Ribas, 2015 .

PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation

Marcos A. Castilho, Fabiano Silva, Bruno Cesar Ribas, 2013, 2013 Brazilian Conference on Intelligent Systems.

On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints

Luis Carlos Erpen De Bona, Marcos A. Castilho, Fabiano Silva, 2012, IBERAMIA.

PLANNING AS MIXED-HORN FORMULAS SATISFIABILITY

Bruno Cesar Ribas, Razer A. N. R. Montaño, 2021, Engenharias elétrica e de computação: O terceiro pilar.