?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Tung%2C+Vu+Xuan&rft.aulast=Tung&rft.aufirst=Vu+Xuan&rft.date=27+June+2017&rft.issn=1572-8102&rft.atitle=raSAT%3A+an+SMT+solver+for+polynomial+constraints&rft.title=Formal+Methods+in+System+Design&rft.pages=1-38&rft.genre=article