Maximizing Branch Coverage with Constrained Horn Clauses.

Ilia Zlatkin Grigory Fedyukovich

Published in: TACAS (2) (2022)

Keyphrases

horn clauses
first order logic
inference rules
conceptual clustering
inductive logic programming
logic programs
lattice theory
knowledge base
function symbols
training data
knn