خوارزميات, ذكاء اصطناعي, علوم الحاسوب, نظرية التعقيدتعقيد إرضاء القيود (Complexity of Constraint Satisfaction)
الخوارزميات, علوم الحاسوب النظرية, نظرية الرسوم البيانية, هياكل البياناتالرسم البياني الفرعي المستحث الأقصى المشترك (Maximum Common Induced Subgraph)
ذكاء اصطناعي, علوم الحاسوب, منطق, نظرية التعقيدمسألة الإرضاء المنطقي البولياني (Boolean Satisfiability Problem)