If you do not find what you're looking for, you can use more accurate words.
نص المبرهنة هو: SAT مشكل حدودي غير محدد كامل (NP-complete).
تنسب في الأغلب لكوك، حيث أن ليفين وجد نفس النتائج دون أن يكون على علم بنتائج كوك، ففي ذلك الوقت لم تكن هناك وسائل اتصال متطورة (ما بين 1971 و 1974).