Characterizing the Temperature of SAT Formulas | Publicación