Satisfiability: where Theory meets Practice (Invited Talk).

Published in: CSL (2012)

Keyphrases

invited talk
computational complexity
satisfiability problem
selected papers
theoretical insights
knowledge discovery and data mining
real world
np complete
databases
knowledge base
association rule mining
theoretical framework
propositional theories