On the Temperature of SAT Formulas
- Giráldez-Cru, J.
- Almagro-Blanco, P.
ISSN: 0922-6389
ISBN: 9781643682105
Ano de publicación: 2021
Volume: 339
Páxinas: 46-55
Tipo: Achega congreso
ISSN: 0922-6389
ISBN: 9781643682105
Ano de publicación: 2021
Volume: 339
Páxinas: 46-55
Tipo: Achega congreso