خوارزميات, ذكاء اصطناعي, علوم الحاسوب, نظرية التعقيدتعقيد إرضاء القيود (Complexity of Constraint Satisfaction)
الذكاء الاصطناعي, علوم الحاسوب, منطق, هياكل البياناتالرسم البياني الدوراني الموجه الاقتراحي (Propositional Directed Acyclic Graph)
أنظمة التشغيل, تطوير البرمجيات, علوم الحاسوب, هندسة البرمجياتالبرمجيات المعتمدة على الآلة (Machine-dependent Software)