On the Temperature of SAT Formulas

  1. Giráldez-Cru, J.
  2. Almagro-Blanco, P.
Book Series:
Frontiers in Artificial Intelligence and Applications

ISSN: 0922-6389

ISBN: 9781643682105

Year of publication: 2021

Volume: 339

Pages: 46-55

Type: Conference paper

DOI: 10.3233/FAIA210115 GOOGLE SCHOLAR lock_openOpen access editor HANDLE: https://hdl.handle.net/10481/71750
Digibug. Repositorio Institucional de la Universidad de Granada: lock_openOpen access Handle

Sustainable development goals

Data source: Scopus