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.

Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology

Markus Hecher, Patrick Thier, Stefan Woltran. Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology. In Luca Pulina, Martina Seidl, editors, Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Volume 12178 of Lecture Notes in Computer Science, pages 343-360, Springer, 2020. [doi]

Authors

Markus Hecher

This author has not been identified. Look up 'Markus Hecher' in Google

Patrick Thier

This author has not been identified. Look up 'Patrick Thier' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google
runs on