Revisiting SATZilla Features in 2024.

Hadar Shavit Holger H. Hoos

Published in: SAT (2024)

Keyphrases

feature space
feature vectors
classification accuracy
data sets
artificial intelligence
low level
key features
co occurrence
feature set
rich set
feature detection
gabor filters
false positives
semi supervised
knowledge base
computer vision
databases