On the Temperature of SAT Formulas
- Giráldez-Cru, J.
- Almagro-Blanco, P.
ISSN: 0922-6389
ISBN: 9781643682105
Any de publicació: 2021
Volum: 339
Pàgines: 46-55
Tipus: Aportació congrés
Col·lecció de llibres:
Frontiers in Artificial Intelligence and Applications
