سوال: مسئله CSP شامل سه متغیر بولین A,B,C و عبارت های زیر که نشان دهنده محدویت ها روی مقدار این متغیرهاست را در نظر بگیرید: A\vee B        A\vee       \neg B\vee \neg C       B\vee \neg C        فرض کنید هنگام جستجو در مقدار دهی ها، ترتیب متغیر ها به ترتیب الفبایی و ترتیب مقادیر به صورت اول F و بعد T در نظر گرفته شود. ترتیب مقدار دهی هایی که (از چپ به راست) به متغیر ها توسط الگوریتم DFS با عقب گرد (bucktrack) و استفاده از forward checking برای رسیدن به اولین جواب صورت می گیرد، کدام است؟
گزینه‌ها:
1.  A=T,B=F,C=F
2.  A=F,B=T,A=T,B=T.C=F
3.  A=F,B=T,T=A,B=F,C=F
4.  A=F,B=F,A=F,B=T,C=F,A=F,B=T,C=T,A=T,B=F,C=F
پاسخ صحیح: گزینه 2