Xiakun Li

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Generation Process

Highly Nonlinear

Complex Domains

Top Venues

Publications

Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. CoRR (2024)