SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

Abstract

Full Citation:

Hai Xia, Stefan Szeider. SAT-Based Tree Decomposition with Iterative Cascading Policy Selection. AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 8191-8199, 2024, AAAI Press.

Hai Xia

Hai Xia is a Project Assistant at the Algorithms and Complexity Group.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.