Characterizing the Temperature of SAT Formulas

  1. Almagro-Blanco, P.
  2. Giráldez-Cru, J.
Journal:
International Journal of Computational Intelligence Systems

ISSN: 1875-6883,  1875-6891

Year of publication: 2022

Volume: 15

Issue: 1

Type: Article

DOI: 10.1007/S44196-022-00122-4 GOOGLE SCHOLAR lock_openOpen access editor HANDLE: https://hdl.handle.net/10481/77358
Digibug. Repositorio Institucional de la Universidad de Granada: lock_openOpen access Handle

Sustainable development goals

Data source: Scopus