بحث محلي, خوارزميات, علوم الحاسوب, نظرية التعقيدبحث الجوار المحلي متعدد الحدود (Polynomial Local Search – PLS)
خوارزميات, علوم الحاسوب, مسائل البحث, نظرية التعقيدمسائل الدوال الكلية متعددة الحدود غير القطعية (TFNP)
الذكاء الاصطناعي, علوم الحاسوب, مشكلات الإرضاء القيدية, نظرية التعقيدنظرية ثنائية شيفر (Schaefer’s Dichotomy Theorem)