Syntactically Convex Model-Based Projection for Linear Real Arithmetic.

Anna Becchi, Grigory Fedyukovich, Arie Gurfinkel, Lev Nachmanson

Browse the full TACAS paper archive.