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]
@inproceedings{Giraldez-CruA21,
title = {On the Temperature of SAT Formulas},
author = {Jesús Giráldez-Cru and Pedro Almagro-Blanco},
year = {2021},
doi = {10.3233/FAIA210115},
url = {https://doi.org/10.3233/FAIA210115},
researchr = {https://researchr.org/publication/Giraldez-CruA21},
cites = {0},
citedby = {0},
pages = {46-55},
booktitle = {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},
editor = {Mateu Villaret and Teresa Alsinet and Cèsar Fernández and Aïda Valls},
volume = {339},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-64368-211-2},
}