unimore/appunti-steffo
unimore/appunti-steffo
1
Fork 0
mirror of https://github.com/Steffo99/appunti-magistrali.git synced 2024-11-22 02:44:17 +00:00
Code Activity
appunti-steffo/9 - Algoritmi distribuiti/1 - Problemi/satisfability.md

204 B
Raw Blame History

aliases
SAT

problema particolare, dimostrato direttamente essere classe di problemi NP-completi con i teoremi teorema di Cook e teorema di Levin.