Ricardo Tavares de Oliveira, Fabiano Silva. SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem. In 2014 Brazilian Conference on Intelligent Systems, BRACIS 2014, Sao Paulo, Brazil, October 18-22, 2014. pages 192-197, IEEE, 2014. [doi]
Abstract is missing.