salve a tutti,
c'è per caso qualcuno che può indicarmi dove recuperare la dimostrazione del teorema dii cook (SAT è NP-completo).
grazie per la disponibilità.
saluti.

Maria