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