Ricardo Tavares de Oliveira

According to our database, Ricardo Tavares de Oliveira authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2015

On a Relative MaxSAT Encoding for the Steiner Tree Problem in Graphs.

Ricardo Tavares de Oliveira, Fabiano Silva

Proceedings of the Advances in Artificial Intelligence and Its Applications, 2015

2014

SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem.

Ricardo Tavares de Oliveira, Fabiano Silva

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2012

On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability.

Ricardo Tavares de Oliveira, Fabiano Silva, Bruno Cesar Ribas, Marcos A. Castilho

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2012, 2012