Xia, H., & Szeider, S. (2024). SAT-Based Tree Decomposition with Iterative Cascading Policy Selection. Proceedings of the AAAI Conference on Artificial Intelligence, 38(8), 8191–8199. https://doi.org/10.1609/aaai.v38i8.28659