External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on