A sharp threshold in proof complexity.

Dimitris Achlioptas Paul Beame Michael S. O. Molloy

Published in: STOC (2001)

Keyphrases

computational complexity
decision problems
space complexity
database
real world
data sets
information retrieval
search engine
social networks
information systems
feature selection
decision making
multiscale
lower bound
worst case