I am a Postdoc (Yuxiu Young Scholar) in the School of Artificial Intelligence at Nanjing University. I obtained my Bachelor's degree in Computational Mathematics from the University of Science and Technology of China in 2013. In 2019, I received my Ph.D. degree in Computer Software and Theory from the Institution of Software, Chinese Academy of Sciences, advised by Prof. Jian Zhang. From 2019 to 2021, I joined the FMV group, Johannes Kepler Universität Linz, Austria, and worked with Prof. Armin Biere, as a postdoctoral researcher. In 2021, I was selected by Yuxiu Young Scholars Program of ...