An encoding of array verification problems into array-free Horn clauses.

David Monniaux Laure Gonnord

Published in: CoRR (2015)

Keyphrases

horn clauses
machine learning
optimization problems
data mining
pairwise
model checking
inductive logic programming