A single-instance incremental SAT formulation of proof- and counterexample-based abstraction.

Niklas Eén Alan Mishchenko Nina Amla

Published in: FMCAD (2010)

Keyphrases

single instance
multi instance
multiple instance
sat solvers
imbalanced datasets
multi label learning
multi label
model checking
phase transition
real valued
image recognition
semi supervised learning
high level
decision trees
class imbalance
cost sensitive learning
benchmark datasets
image features
active learning