Open AccessCharacterizing the Temperature of SAT Formulas
Author(s) -
Pedro Almagro-Blanco,
Jesús Giráldez-Cru
Publication year - 2022
Publication title -
the international journal of computational intelligence systems/international journal of computational intelligence systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.385
H-Index - 41
eISSN - 1875-6891
pISSN - 1875-6883
DOI - 10.1007/s44196-022-00122-4
Subject(s) - computer science , context (archaeology) , similarity (geometry) , scale (ratio) , distortion (music) , algorithm , theoretical computer science , artificial intelligence , paleontology , amplifier , computer network , physics , bandwidth (computing) , quantum mechanics , image (mathematics) , biology