Ricardo Tavares de Oliveira

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Reasoning Problems

Graph Theoretic

Boolean Satisfiability

Multicast Routing

Top Venues

Publications

Ricardo Tavares de Oliveira, Fabiano Silva
On a Relative MaxSAT Encoding for the Steiner Tree Problem in Graphs. MICAI (2) (2015)
Ricardo Tavares de Oliveira, Fabiano Silva
SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem. BRACIS (2014)
Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. IBERAMIA (2012)