Et nytt rammeverk foreslår å behandle SAT-begrensninger som et termisk system. Tilnærmingen kobler kompleksitetsteori til termodynamiske prinsipper.

Kilde: https://github.com/alikamp/SAT_HARDNESS_P-NP