-CNF.

Chris Calabro Russell Impagliazzo Ramamohan Paturi

Published in: Algorithmica (2013)

Keyphrases

boolean functions
conjunctive normal form
knowledge compilation
sat solvers
sat solving
model counting
information retrieval
decision making
image processing
lower bound
uniform distribution
sat problem
clause learning