A Surprising Relationship Between Descriptive Complexity and Proof Complexity.

Yijia Chen Jörg Flum Moritz Müller

Published in: Bull. EATCS (2022)

Keyphrases

computational complexity
image processing
worst case
digital libraries
multiresolution
data sets
databases
clustering algorithm
decision trees
case study
feature space
special case
computational cost
decision problems