Xuan Tung Vu
Xuan Tung Vu
Ph.D. Student at JAIST
Bestätigte E-Mail-Adresse bei jaist.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
raSAT: An SMT Solver for Polynomial Constraints
VX Tung, TVK Mizuhito Ogawa
IJCAR 2016, 0
22*
Subtropical satisfiability
P Fontaine, M Ogawa, T Sturm, XT Vu
International Symposium on Frontiers of Combining Systems, 189-206, 2017
142017
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 Third Symposium on Information and Communication …, 2012
92012
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
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 …, 2016
62016
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
32018
Semantic parsing for vietnamese question answering system
VX Tung, N Le Minh, DT Hoang
2015 Seventh International Conference on Knowledge and Systems Engineering …, 2015
22015
raSAT: SMT for Polynomial Inequality
VK To, M Ogawa
北陸先端科学技術大学院大学情報科学研究科, 2013
22013
An improved type system for counting logs of transactional multi-threaded programs
XT Vu, T Hoang
12015
SMT Solving for Polynomial Constraints
VX Tung
2018
EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
F Pascal, O Mizuhito, S Thomas, VK To, XT Vu
2018
Equality handling and efficiency improvement of SMT for non-linear constraints over reals.
VX Tung
2015
raSAT 0.3 and raSAT 0.4 (exp) for SMT-COMP 2016
VX Tung, T Van Khanh, M Ogawa
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14