To Van Khanh

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Constraint Solvers

Search Strategies

Constraint Satisfaction

Genetic Algorithm

Top Venues

Formal Methods Syst. Des.

Publications

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. SC-Square@FLOC (2018)
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
raSAT: an SMT solver for polynomial constraints. Formal Methods Syst. Des. 51 (3) (2017)
Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
raSAT: An SMT Solver for Polynomial Constraints. IJCAR (2016)
To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa
raSAT: SMT for Polynomial Inequality. SMT (2014)
Mizuhito Ogawa, To Van Khanh
SAT and SMT: Their Algorithm Designs and Applications. APSEC (2) (2013)
To Van Khanh, Mizuhito Ogawa
SMT for Polynomial Constraints on Real Numbers. Electron. Notes Theor. Comput. Sci. 289 (2012)