SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

On a Relative MaxSAT Encoding for the Steiner Tree Problem in GraphsRicardo Tavares de Oliveira, Fabiano Silva. micai 2015: 422-434 [doi]

runs on WebDSL