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