Travelled to:1 × Austria
Collaborated with:T.V.Khanh M.Ogawa
Talks about:polynomi (2) rasat (2) smt (2) constraint (1) solver (1) inequ (1)
Person: Vu Xuan Tung
DBLP: Tung:Vu_Xuan
Contributed to:
2014
2016Wrote 2 papers:
- SMT-2014-KhanhTO #difference #named #polynomial #smt
- raSAT: SMT for Polynomial Inequality (TVK, VXT, MO), p. 67.
- IJCAR-2016-TungKO #constraints #named #polynomial #smt
- raSAT: An SMT Solver for Polynomial Constraints (VXT, TVK, MO), pp. 228–237.