K-induction without unrolling.

Arie Gurfinkel Alexander Ivrii

Published in: FMCAD (2017)

Keyphrases

inductive learning
inductive reasoning
concept formation
subgroup discovery
rule induction
search algorithm
machine learning
high level
multi agent
databases
multi agent systems
relational databases
image segmentation
inductive inference
decision trees
learning algorithm
neural network