| 2026 | CP | Smart Cubing for Graph Search: A Comparative Study. | Markus Kirchweger, Toms Peitl, Stefan Szeider, Hai Xia |
| 2025 | ICCS | Uncovering and Verifying Optimal Community Structure in Complex Networks: A MaxSAT Approach. | Carlos Anstegui, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia |
| 2024 | AAAI | SAT-Based Tree Decomposition with Iterative Cascading Policy Selection. | Hai Xia, Stefan Szeider |
| 2024 | ICTAI | The Power of Collaboration: Learning Large Bayesian Networks at Scale. | Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider, Hai Xia |
| 2022 | CEC | Learning to Search Promising Regions by a Monte-Carlo Tree Model. | Hai Xia, Changhe Li, Sanyou Zeng, Qingshan Tan, Junchen Wang, Shengxiang Yang |
| 2021 | CEC | A Novel Scalable Framework For Constructing Dynamic Multi-objective Optimization Problems. | Qingshan Tan, Changhe Li, Hai Xia, Sanyou Zeng, Shengxiang Yang |
| 2021 | CEC | A Reinforcement-Learning-Based Evolutionary Algorithm Using Solution Space Clustering For Multimodal Optimization Problems. | Hai Xia, Changhe Li, Sanyou Zeng, Qingshan Tan, Junchen Wang, Shengxiang Yang |