On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. - Ricardo Tavares de Oliveira; Fabiano Silva; Bruno César Ribas; Marcos A. Castilho (IBERAMIA, 2012)

SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem. - Ricardo Tavares de Oliveira; Fabiano Silva (BRACIS, 2014)

On a Relative MaxSAT Encoding for the Steiner Tree Problem in Graphs. - Ricardo Tavares de Oliveira; Fabiano Silva (MICAI (2), 2015)