Example image of eyePlorer eyePlorer-Ergebnisse für 'Erfüllbarkeitsproblem der Aussagenlogik': Entscheidbar Aussagenlogik Erfüllbarkeit Logische Formel Digitaltechnik Komplexitätstheorie Verifizierung Konjunktive Normalform Wahrheitstabelle Binäres Entscheidungsdiagramm Davis-Putnam-Verfahren Nichtdeterministische Turingmaschine NP-Vollständigkeit Polynomialzeitreduktion 1970er Leonid Levin Satz von Cook Stephen A. Cook 1972 Karps 21 NP-vollständige Probleme Richard M. Karp P-NP-Problem 3-SAT Reduktion (Theoretische Informatik) Glossar Graphentheorie Graph (Graphentheorie) Planarer Graph Komplexitätsklasse NL (Komplexitätsklasse) Erfüllbarkeitsproblem für quantifizierte boolesche Formeln PSPACE Circuit Value Problem Markierungsalgorithmus Constraint-Satisfaction-Problem Shannon-Zerlegung Sharp-P Orakel-Turingmaschine NP-Schwere Leonard Adleman Horn-Formel SAT Design by contract Tautologie (Logik) Haplotyp Kryptoanalyse OpenSUSE
Disclaimer