Computing with an SMT Solver.

Nada Amin K. Rustan M. Leino Tiark Rompf

Published in: TAP@STAF (2014)

Keyphrases

database
real time
neural network
information retrieval
knowledge base
learning environment