This page shows all presentations of this author published in EasyChair Smart Slide.
EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To and Xuan Tung Vu