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

Xinpeng Ni, Yulun Wu, Bican Xia

Browse the full SETTA paper archive.