On the Average Sensitivity and Density of k-CNF Formulas.

Dominik Scheder Li-Yang Tan

Published in: APPROX-RANDOM (2013)

Keyphrases

cnf formula
np complete
database
stable set
information retrieval
artificial intelligence
expert systems
constraint programming
conjunctive normal form