TY - JOUR AU - Giráldez Cru, Jesús AU - Almagro Blanco, Pedro PY - 2021 UR - http://hdl.handle.net/10481/71750 AB - The remarkable advances in SAT solving achieved in the last years have allowed to use this technology in many real-world applications of Artificial Intelligence, such as planning, formal verification, and scheduling, among others. Interestingly, these... LA - eng PB - IOS Press BV KW - SAT KW - Hardness KW - Temperature KW - Popularity-Similarity KW - Entropy TI - On the Temperature of SAT Formulas DO - 10.3233/FAIA210115 ER -