A Little Blocked Literal Goes a Long Way.

Benjamin Kiesl Marijn J. H. Heule Martina Seidl

Published in: SAT (2017)

Keyphrases

neural network
artificial intelligence
computer vision
feature space
mobile devices
data sets
multimedia
image analysis