TY  - GEN 
AU  - Almagro Blanco, Pedro
AU  - Giráldez Cru, Jesús
PY  - 2022
UR  - https://hdl.handle.net/10481/77358
AB  - The remarkable advances in SAT solving achieved in the last years have allowed to use this technology to solve many real-world applications, such as planning, formal verification and cryptography, among others. Interestingly, these industrial SAT...
LA  - eng
PB  - Springer Nature
KW  - SAT
KW  - Hardness
KW  - Temperature
KW  - Popularity-Similarity
KW  - Entropy
TI  - Characterizing the Temperature of SAT Formulas
DO  - 10.1007/s44196-022-00122-4
ER  -