-CNF.

Chris Calabro Russell Impagliazzo Ramamohan Paturi

Published in: IPEC (2010)

Keyphrases

boolean functions
knowledge compilation
sat solving
conjunctive normal form
genetic algorithm
sat solvers
cnf formula
model counting
databases
machine learning
association rules
hidden markov models
simulated annealing
constraint satisfaction
search strategies
stochastic local search