Login / Signup
-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