Xinpeng Ni

According to our database, Xinpeng Ni authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD.

Tianyi Ding, Haokun Li, Xinpeng Ni, Bican Xia, Tianqi Zhao

CoRR, July, 2025

Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA.

Xinpeng Ni, Tianyi Ding, Bican Xia

Proceedings of the Formal Methods and Software Engineering, 2025

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