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-Based Approaches to Treewidth Computation: An Evaluation

Jeremias Berg, Matti Järvisalo. SAT-Based Approaches to Treewidth Computation: An Evaluation. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014. pages 328-335, IEEE Computer Society, 2014. [doi]

Authors

Jeremias Berg

This author has not been identified. Look up 'Jeremias Berg' in Google

Matti Järvisalo

This author has not been identified. Look up 'Matti Järvisalo' in Google
runs on