Follow
Xuan Tung Vu
Xuan Tung Vu
Ph.D. Student at JAIST
Verified email at jaist.ac.jp - Homepage
Title
Cited by
Cited by
Year
raSAT: An SMT Solver for Polynomial Constraints
VX Tung, TVK Mizuhito Ogawa
IJCAR 2016, 0
32*
Subtropical satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
272017
A type system for finding upper resource bounds of multi-threaded programs with nested transactions
XT Vu, MT Tran, AH Truong, M Steffen
Proceedings of the 3rd Symposium on Information and Communication Technology …, 2012
132012
A type system for counting logs of multi-threaded nested transactional programs
AH Truong, D Van Hung, DH Dang, XT Vu
International Conference on Distributed Computing and Internet Technology …, 2015
102015
Wrapping computer algebra is surprisingly successful for non-linear SMT
P Fontaine, M Ogawa, T Sturm, XT Vu
SC-square 2018-Third International Workshop on Satisfiability Checking and …, 2018
82018
rasat: SMT for polynomial inequality
T Van Khanh, M Ogawa
SAT 1, 0, 2014
82014
rasat: SMT for polynomial inequality
TV Khánh, X Vu, M Ogawa
Proc. of SMT 14, 67, 2014
72014
Semantic parsing for vietnamese question answering system
VX Tung, N Le Minh, DT Hoang
2015 Seventh International Conference on Knowledge and Systems Engineering …, 2015
42015
EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
F Pascal, O Mizuhito, S Thomas, VK To, XT Vu
12018
An improved type system for counting logs of transactional multi-threaded programs
XT Vu, T Hoang
12015
raSAT: SMT for Polynomial Inequality
VK To, M Ogawa
北陸先端科学技術大学院大学情報科学研究科, 2013
12013
SMT Solving for Polynomial Constraints
VX Tung
2018
Equality handling and efficiency improvement of SMT for non-linear constraints over reals.
VX Tung
2015
veriT+ Redlog: System Description for SMT-COMP 2017
H Barbosa, P Fontaine, M Jaroschek, M Kosta, T Sturm, VX Tung
veriT+ raSAT+ Redlog: System Description for SMT-COMP 2019
H Barbosa, P Fontaine, M Jaroschek, M Kosta, M Ogawa, T Sturm, ...
raSAT 0.3 and raSAT 0.4 (exp) for SMT-COMP 2016
VX Tung, T Van Khanh, M Ogawa
The system can't perform the operation now. Try again later.
Articles 1–16