Xinpeng Ni

According to our database, Xinpeng Ni authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Local Search for Checking Satisfiability of Formulas with Trigonometric Functions.

Xinpeng Ni, Bican Xia, Tianqi Zhao

Proceedings of the Automated Technology for Verification and Analysis, 2024

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