A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

Niklas Eén Alan Mishchenko Nina Amla

Published in: CoRR (2010)

Keyphrases

single instance
multiple instance
multi instance
multi label
imbalanced datasets
multi label learning
high level
sat solvers
multiple instance learning
information extraction
real valued
multi instance learning
training data