---
aliases:
  - SAT
---
[[8 - Crittografia applicata/1 - Concetti/1 - Trovare soluzioni crittografiche/problema]] particolare, dimostrato direttamente essere [[classe di problemi NP-completi|NP-complete]] con i teoremi [[teorema di Cook|di Cook]] e [[teorema di Levin|di Levin]].