no code implementations • 29 Oct 2019 • Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha
Given a Boolean formula $\phi(x)$ in conjunctive normal form (CNF), the density of states counts the number of variable assignments that violate exactly $e$ clauses, for all values of $e$.