Xinpeng Ni

According to our database, Xinpeng Ni authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Solving SMT over Non-linear Real Arithmetic via Numerical Sampling and Symbolic Verification.

Xinpeng Ni, Yulun Wu, Bican Xia

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023