سلام
این روش معمولا برای حل مسائل Np مورد استفاده قرار می گیره ، از یک تابعی معروف به Promissing برای چک کردن جواب بودن شرایط فعلی استفاده میشه و معمولا در مسائل Csp بیشتر کاربرد داره
برای مثال می تونید اینجا رو بخونید