Seguir
Ricardo Oliveira
Título
Citado por
Citado por
Ano
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–5