H. Xia and S. Szeider, “SAT-Based Tree Decomposition with Iterative Cascading Policy Selection”, AAAI, vol. 38, no. 8, pp. 8191–8199, Mar. 2024.