خوارزميات, ذكاء اصطناعي, علوم الحاسوب, مسائل الإشباع القيديمسألة الإشباع القيدي المزدوج (Constraint Satisfaction Dual Problem)
ذكاء اصطناعي, علوم الحاسوب, منطق, نظرية التعقيدمسألة الإرضاء المنطقي البولياني (Boolean Satisfiability Problem)