Jesús Giráldez-Cru, Pedro Almagro-Blanco. On the Temperature of SAT Formulas. In Mateu Villaret, Teresa Alsinet, Cèsar Fernández, Aïda Valls, editors, Artificial Intelligence Research and Development - Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2021, Virtual Event, 20-22 October, 2021. Volume 339 of Frontiers in Artificial Intelligence and Applications, pages 46-55, IOS Press, 2021. [doi]
Abstract is missing.