Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk).

Stephen A. Cook

Published in: CSL (2012)

Keyphrases

invited talk
database
information retrieval
tractable cases
databases
data mining
association rules
recent advances
first order logic
hierarchical structure
computational models
formal concept analysis
formal methods
selected papers