Satz von Cook und Levin

Für jedes Problem gilt:

Siehe auch

• Reduzierbarkeit
• SAT-Problem