Bounded Quantifier Instantiation for Checking Inductive Invariants.

Yotam M. Y. Feldman Oded Padon Neil Immerman Mooly Sagiv Sharon Shoham

Published in: TACAS (1) (2017)

Keyphrases

inductive learning
database
machine learning
knowledge representation
inductive reasoning
data sets
databases
pattern recognition
inductive inference
consistency checking
inductive concept learning
website
fuzzy logic
structure from motion
affine invariant
geometric invariants