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
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear; preprint: CoRR abs/2603.08322, https://arxiv.org/abs/2603.08322
Note: To appear; preprint: CoRR abs/2603.08322, https://arxiv.org/abs/2603.08322
32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, July 20–23, 2026, Lisbon, Portugal, volume 379 of LIPIcs, pages 33:1-33:19, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
Note: Preprint: CoRR abs/2501.17201, https://arxiv.org/abs/2501.17201
Proceedings of the International Conference on Automated Machine Learning, AutoML 2026, September 28 – October 1, 2026, Ljubljana, Slovenia, 2026.
Note: To appear
Note: To appear
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.