Xia, H.; Szeider, S. SAT-Based Tree Decomposition With Iterative Cascading Policy Selection. AAAI 2024, 38, 8191-8199.