BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tung:Vu_Xuan

Contributed to:

SMT 20142014
IJCAR 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.