raSAT: SMT for Polynomial Inequality.

To Van Khanh Xuan-Tung Vu Mizuhito Ogawa

Published in: SMT (2014)

Keyphrases

statistical machine translation
low order
information systems
genetic algorithm
knowledge base
word alignment