jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2.

Published in: NASA Formal Methods (2011)

Keyphrases

artificial intelligence
database
machine learning
genetic algorithm
information systems
case study
probabilistic model
programming language
collaborative learning
decision support
building blocks
visualization tools
statistical machine translation