Hai Xia
Address:
Hai Xia
Technische Universität Wien
Institute of Logic and Computation
Favoritenstraße 9–11, E192-01
1040 Wien
Austria
Room: | HA0410 |
Phone: | +43(1)58801–192155 |
Email: | hxia@ac.tuwien.ac.at |
Web: | http://www.ac.tuwien.ac.at/people/hxia/ |
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.
Publications
Here is my DBLP entry.