Follow
Ricardo Oliveira
Title
Cited by
Cited by
Year
Sat and maxsat encodings for trees applied to the steiner tree problem
RT de Oliveira, F Silva
2014 Brazilian Conference on Intelligent Systems, 192-197, 2014
72014
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability
RT de Oliveira, F Silva, BC Ribas, MA Castilho
Advances in Artificial Intelligence–IBERAMIA 2012, 381-391, 2012
5*2012
On a relative MaxSAT encoding for the steiner tree problem in graphs
RT de Oliveira, F Silva
Advances in Artificial Intelligence and Its Applications: 14th Mexican …, 2015
32015
Reduções de problemas em grafos com soluções conexas para (MAX) SAT e adaptação de um resolvedor SAT e MAXSAT não clausal para as instâncias obtidas
RT Oliveira
32013
Arco consistência generalizada em codificações SAT relativas
RT Oliveira
The system can't perform the operation now. Try again later.
Articles 1–5