Xuan-Tung Vu

Publication Activity (10 Years)

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

Top Topics

Symmetry Breaking

Phase Transition

Computer Algebra

Top Venues

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)
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu
Subtropical Satisfiability. FroCoS (2017)
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu
Subtropical Satisfiability. CoRR (2017)
Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu
A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. ICDCIT (2016)
To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa
raSAT: SMT for Polynomial Inequality. SMT (2014)
Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen
A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT (2012)