raSAT: An SMT Solver for Polynomial Constraints VX Tung, TVK Mizuhito Ogawa IJCAR 2016, 0 | 35* | |
Subtropical satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017 | 30 | 2017 |
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 | 13 | 2012 |
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 | 10 | 2015 |
rasat: SMT for polynomial inequality T Van Khanh, M Ogawa SAT 1, 0, 2014 | 8 | 2014 |
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 | 7 | 2018 |
rasat: SMT for polynomial inequality TV Khánh, X Vu, M Ogawa Proc. of SMT 14, 67, 2014 | 7 | 2014 |
Semantic parsing for vietnamese question answering system VX Tung, N Le Minh, DT Hoang 2015 Seventh International Conference on Knowledge and Systems Engineering …, 2015 | 4 | 2015 |
EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT F Pascal, O Mizuhito, S Thomas, VK To, XT Vu | 1 | 2018 |
An improved type system for counting logs of transactional multi-threaded programs XT Vu, T Hoang | 1 | 2015 |
raSAT: SMT for Polynomial Inequality VK To, M Ogawa 北陸先端科学技術大学院大学情報科学研究科, 2013 | 1 | 2013 |
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 | | |