Xiakun Li

According to our database, Xiakun Li authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets.

Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan

Proceedings of the Formal Methods - 26th International Symposium, 2024