The number system hidden inside the Boolean satisfiability problem.

Published in: CoRR (2014)

Keyphrases

small number
fixed number
three dimensional
np complete
data sets
real world
information retrieval
computer vision
image processing
training data
bayesian networks
computational complexity
multi class
maximum number