![](/img/cover-not-exists.png)
[IEEE 2014 Brazilian Conference on Intelligent Systems (BRACIS) - Sao Paulo, Brazil (2014.10.18-2014.10.22)] 2014 Brazilian Conference on Intelligent Systems - SAT and MaxSAT Encodings for Trees Applied to the Steiner Tree Problem
Oliveira, Ricardo Tavares de, Silva, FabianoYear:
2014
Language:
english
DOI:
10.1109/bracis.2014.43
File:
PDF, 240 KB
english, 2014