SMT Techniques for Fast Predicate Abstraction.

Shuvendu K. Lahiri Robert Nieuwenhuis Albert Oliveras

Published in: CAV (2006)

Keyphrases

statistical machine translation
first order logic
high level
data abstraction
machine learning
information retrieval
genetic algorithm
decision trees
multi agent
probabilistic model
datalog programs
logic rules