Details zur Episode

SAT-Problem, weitere NP-vollst. Probleme, konjunktive Normalform, 3 KNF-SAT

Prof. Dr. Dietmar Saupe

Theoretische Grundlagen der Informatik

Datum: 2014/08/07