Counter-Example Based Predicate Discovery in Predicate Abstraction.

Satyaki Das David L. Dill

Published in: FMCAD (2002)

Keyphrases

first order logic
data mining
knowledge discovery
genetic algorithm
image processing
data model