Univ.Ass.
Hai Xia
Room: HA0410
Phone: +43 1 58801 192155
Email: hxia@ac.tuwien.ac.at
ORCID: 0000-0002-9225-5179
TU Wien Directory: TISS Profile
Phone: +43 1 58801 192155
Email: hxia@ac.tuwien.ac.at
ORCID: 0000-0002-9225-5179
TU Wien Directory: TISS Profile
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
Computers & Graphics, volume 126, pages 104115, 2025.
Computational Science - ICCS 2025 - 25th International Conference, Singapore, July 7-9, 2025, Proceedings, Part II (Michael H. Lees and Wentong Cai and Siew Ann Cheong and Yi Su and David Abramson and Jack J. Dongarra and Peter M. A. Sloot), volume 15904 of Lecture Notes in Computer Science, pages 35-49, 2025, Springer.
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.
2024 IEEE 36th International Conference on Tools with Artificial Intelligence (ICTAI), pages 371-378, 2024.
J. Graph Algorithms Appl., volume 23, number 3, pages 463-498, 2019.