Per informazioni vedi Aiuto:Puntano qui
Le seguenti pagine contengono dei collegamenti a Teorema di Cook-Levin
Strumenti: Cerca i collegamenti nel wikicodice
Visualizzando 13 elementi.
- Classi di complessità P e NP (← collegamenti | modifica)
- Logica proposizionale (← collegamenti | modifica)
- NP-completo (← collegamenti | modifica)
- Soddisfacibilità booleana (← collegamenti | modifica)
- Teorema di Cook (reindirizzamento) (← collegamenti | modifica)
- 2-satisfiability (← collegamenti | modifica)
- Utente:Valepert/Libri/Informatica teorica (← collegamenti | modifica)
- Utente:Valepert/Libri/Algoritmi e strutture dati (← collegamenti | modifica)
- Utente:Luca Bosi/Libri/Teoremi e lemmi (← collegamenti | modifica)
- Utente:Gce/Laboratorio/Festival della qualità/Bozza1/Voci 2009 (← collegamenti | modifica)
- Utente:Germanomosconi1/2-satisfiability (← collegamenti | modifica)
- 21 problemi NP-completi di Karp (← collegamenti | modifica)
- Problema della cricca (← collegamenti | modifica)
- Utente:Acondolu/Sandbox/sat (← collegamenti | modifica)
- Utente:Texvc2LaTeXBot/pages (← collegamenti | modifica)
- Discussioni utente:Buggia/Archivio12 (← collegamenti | modifica)
- Discussioni utente:Teren Viktor (← collegamenti | modifica)
- Teknopedia:Elenchi generati offline/Tempo relativo/Attualmente/1 (← collegamenti | modifica)
- Progetto:Matematica/Elenco di voci sui teoremi (← collegamenti | modifica)