On Linear CNF Formulas.

Stefan Porschen Ewald Speckenmeyer Bert Randerath

Published in: SAT (2006)

Keyphrases

cnf formula
np complete
databases
machine learning
np hard
natural language processing
simulated annealing
knowledge compilation