Local Search For SMT On Linear and Multi-linear Real Arithmetic.

Bohan Li, Shaowei Cai

Browse the full FMCAD paper archive.