Bruno Cesar Ribas
According to our database1,
Bruno Cesar Ribas
authored at least 5 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Optim. Lett., 2021
2015
Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista.
PhD thesis, 2015
2013
Proceedings of the Brazilian Conference on Intelligent Systems, 2013
2012
Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability.
Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012