Short $\mathsf{Res}^*(\mathsf{polylog})$ refutations if and only if narrow $\mathsf{Res}$ refutations.

Published in: CoRR (2013)

Keyphrases

databases
theorem prover
real time
data sets
machine learning
artificial intelligence
multiscale
genetic algorithm
multimedia
clustering algorithm
feature space
association rules
probabilistic model
d objects