On the Density of States of Boolean Formulas1 | Publicación