Computing All Implied Equalities via SMT-Based Partition Refinement.

Josh Berdine Nikolaj Bjørner

Published in: IJCAR (2014)

Keyphrases

search engine
artificial neural networks
statistical machine translation
data mining
machine learning
language model
logic programming