Ricardo Tavares de Oliveira, Fabiano Silva. On a Relative MaxSAT Encoding for the Steiner Tree Problem in Graphs. In Obdulia Pichardo-Lagunas, Oscar Herrera-Alcántara, Gustavo Arroyo-Figueroa, editors, Advances in Artificial Intelligence and Its Applications - 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015. Proceedings, Part II. Volume 9414 of Lecture Notes in Computer Science, pages 422-434, Springer, 2015. [doi]
Abstract is missing.