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