یک مسئله ارضای محدودیت (CSP) به صورت : .۱مجموعه ای از متغیرها؛ X1, X2, …, Xn .۲مجموعه ای از محدودیتها؛ C1, C2, …, Cm .۳دامنه های ناتهی از مقادیر برای هر یک از متغیرها؛D1,D2,…,Dn هر محدودیت Ci شامل زیرمجموعه ای از متغیرهاست و ترکیبهای ممکن مقادیر را برای آن زیرمجموعه مشخص می سازد. •یک حالت از مسئله به صورت انتساب مقادیر به تعدادی از متغیرهای مسئله یا تمامی آنها تعریف می شود. •انتسابی که هیچ محدودیتی را نقض نکند، انتساب سازگار یا مجاز نام دارد •در یک ...