On the Density of States of Boolean Formulas 

Ansótegui Gil, Carlos José; Bonet, Maria Luisa; Levy, Jordi (2023)

Given a CNF formula with m clauses, and an integer k, where 0 ≤ k ≤ m, a density of states procedure will count the number of truth assignments that falsify exactly k clauses of the formula. We present the first approach ...