Unified Characterisations of Resolution Hardness Measures.

Olaf Beyersdorff Oliver Kullmann

Published in: SAT (2014)

Keyphrases

high resolution
np hard
information retrieval
np complete
worst case
phase transition
learning theory
data sets
data mining
information systems
computational complexity
ground truth
information theoretic
statistical tests
quantitative measures
consequence finding