الذكاء الاصطناعي, تقييد القيود, حل المشكلات, علوم الحاسوبطريقة الت分解 (Constraint Satisfaction Decomposition Method)
البرمجة, الخوارزميات, علم الحاسوب, هياكل البياناتكيف تحلها بواسطة الحاسوب (How to Solve it by Computer)
خوارزميات, ذكاء اصطناعي, علوم الحاسوب, مسائل الإشباع القيديمسألة الإشباع القيدي المزدوج (Constraint Satisfaction Dual Problem)