کتاب هوش مصنوعی راهیان ارشد:
با تعریف متغیرهای کمکی می توان یک محدودیت چندتایی که دامنه متغیرهای آن متناهی باشد را به چند محدودیت دوتایی تبدیل کرد.


کتاب حل مسائل هوش مصنوعی آقای رهنمون:
می توان ثابت کرد که کلیه مسائل CSP توسط محدودیت هایی دوتایی قابل پیاده سازی هستند.

حالا به نظر شما کدوم یکی درسته؟