Exact Complexity and Satisfiability - (Invited Talk).

Russell Impagliazzo Ramamohan Paturi

Published in: IPEC (2013)

Keyphrases

invited talk
computational complexity
knowledge discovery and data mining
decision making
np complete
selected papers
worst case
propositional logic
machine learning
recent advances
satisfiability problem
information technology
mobile devices
phase transition
acceptance rate