معرفی
Hai Xia is a Researcher in the Data Science department within the Faculty of Informatics at Vienna University of Technology. His research focuses on computational complexity, algorithm design, and SAT-based approaches to solving combinatorial problems.
Xia's primary research interests include developing novel algorithms for tree decomposition problems using SAT solvers, with applications in constraint satisfaction and combinatorial optimization. His work bridges theoretical computer science and practical algorithm implementation.
۰مقاله منتشرشده
