Hi I'm Kexuan (Kiana) Sun!

I'm a master student at University of Southern California, major in Computer Science. Completed my bachelor's degree in software engineering at Huazhong University of Science and Technology (China). Have been working on Constraint Reasoning, such as the Weighted Constraint Satisfaction Problem and Minimum Vertex Cover Problem, in conjunction with Belief Propagation, Machine Learning and Quantum Computing.

Research Interests

Constraint Reasoning, Belief Propagation, Combinatorial Search, and Applied Quantum Adiabatic Algorithm in Artificial Intelligence.


  • Hong Xu, Kexuan Sun, Sven Koenig, and T. K. Satish Kumar. A warning propagation-based linear-time-and-space algorithm for the minimum vertex cover problem on giant graphs. In Proceedings of the 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research (CPAIOR). 2018. Also in Proceedings of the 15th International Symposium on Artificial Intelligence and Mathematics (ISAIM). 2018. URL .


Email: kexuansu@usc.edu

Address: PHE 410, University of Southern California, Los Angeles CA 90089, USA