Hai Xia
Univ.Ass.
Role
-
PreDoc Researcher
Algorithms and Complexity, E192-01
Publications
- Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach / Ansótegui, C., Peruvemba Ramaswamy, V., Szeider, S., & Xia, H. (2025). Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach. In M. Lees, W. Cai, S. A. Cheong, Y. Su, D. Abramson, J. J. Dongarra, & P. M. A. Sloot (Eds.), Computational Science – ICCS 2025 : 25th International Conference, Singapore, Singapore, July 7–9, 2025, Proceedings, Part II (pp. 35–49). Springer. https://doi.org/10.1007/978-3-031-97629-2_3
-
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)