Items where Author is "Thomas, Sturm"

Group by: Item Type | No Grouping

Number of items: 1.

Pascal, Fontain and Mizuhito, Ogawa and Thomas, Sturm and To, Van Khanh and Vu, Xuan Tung (2018) EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In: Satisfiability Checking and Symbolic Computation, 11 July 2018, United Kingdom.

This list was generated on Sun Dec 22 04:39:49 2024 +07.

VNU-UET Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.