Folgen
Ricardo Oliveira
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5