To Van Khanh

According to our database, To Van Khanh authored at least 5 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT.

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

raSAT: an SMT solver for polynomial constraints.

Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa

Formal Methods Syst. Des., 2017

2014

raSAT: SMT for Polynomial Inequality.

To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

2013

SAT and SMT: Their Algorithm Designs and Applications.

Mizuhito Ogawa, To Van Khanh

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

SMT for Polynomial Constraints on Real Numbers.

To Van Khanh, Mizuhito Ogawa

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012