Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness.

Anbulagan John K. Slaney

Published in: ICTAI (2009)

Keyphrases

np complete
learning theory
structured learning
database
data sets
phase transition
boolean functions
website
computational complexity
machine learning
search engine
decision trees
data model
worst case
domain specific
information theoretic