Hai Xia
Univ.Ass.

Hai Xia

Biography

I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, within the Algorithms and Complexity group under the supervision of Prof. Stefan Szeider. My research interests are satisfiability, heuristic search, algorithm selection, parameterized complexity and evolutionary optimization.

Recent Publications

SAT-Based Tree Decomposition with Iterative Cascading Policy Selection
AAAI'24, the Thirty-Eighth AAAI Conference on Artificial Intelligence, February 20-27, Vancouver, Canada (Jennifer Dy and Sriraam Natarajan), pages 8191-8199, 2024, AAAI Press.
The Power of Collaboration: Learning Large Bayesian Networks at Scale
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), pages 371-378, 2024.
Short Plane Supports for Spatial Hypergraphs
Graph Drawing and Network Visualization (GD'18) (Biedl, Therese and Kerren, Andreas), volume 11282 of LNCS, pages 53-66, 2018, Springer International Publishing.