Characterizing the Temperature of SAT Formulas

Pedro Almagro-Blanco, Jesús Giráldez-Cru. Characterizing the Temperature of SAT Formulas. Int. J. Computational Intelligence Systems, 15(1):69, 2022. [doi]

Abstract

Abstract is missing.