Efficient Local Search for Nonlinear Real Arithmetic.

Zhonghan Wang, Bohua Zhan, Bohan Li, Shaowei Cai

Browse the full VMCAI paper archive.