در این پایان نامه سعی شده است تا یک الگوریتم تصادفی کاراتر برای حل مسئله ارضاپذیری بولی ارائه شود، که بدین منظور تکنیک پس گرد تصادفی را معرفی کرده ایم. سپس الگوریتم شانینگ که یکی از الگوریتم های شناخته شده در زمینه حل مسئله ارضاپذیری بولی می باشد به فرم پس گرد تصادفی انتقال یافته و رویکرد های ترتیب انتخاب متغیرها و ترتیب انتخاب عبارت ها(که اولین بار است معرفی می شود) به آن اضافه شده است. برای ا...