Hai Xia

Univ.Ass.

Role

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection / Xia, H., & Szeider, S. (2024). SAT-Based Tree Decomposition with Iterative Cascading Policy Selection. In M. Wooldridge, J. Dy, & S. Natarajan (Eds.), Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24) (pp. 8191–8199). AAAI Press. https://doi.org/10.1609/aaai.v38i8.28659
Project: REVEAL-AI (2020–2024)