جلد 4B از مجموعه کلاسیک The Art of Computer Programming نوشته Donald E. Knuth به الگوریتمهای ترکیبیاتی و جستجوی پیشرفته اختصاص دارد و به بررسی دقیق مباحثی مانند Combinatorial Searching، تولید همه حالات ممکن، Backtracking، الگوریتم X و Dancing Links، مسائل Exact Cover، Satisfiability، تحلیل زمان اجرا، برآورد تعداد پاسخها و تکنیکهای پیشرفته حل مسائل SAT میپردازد. این کتاب با رویکردی کاملاً ریاضی و تحلیلی، مناسب پژوهشگران و برنامهنویسان حرفهای است که میخواهند درک عمیقتری از ساختارهای ترکیبیاتی، تحلیل الگوریتمها و روشهای حل مسائل پیچیده محاسباتی داشته باشند و یکی از منابع مرجع و کلاسیک در حوزه الگوریتمها محسوب میشود.