Xia, Hai, and Stefan Szeider. 2024. “SAT-Based Tree Decomposition With Iterative Cascading Policy Selection”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (8):8191-99. https://doi.org/10.1609/aaai.v38i8.28659.