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

Dominik Scheder, Li-Yang Tan (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics