これは完全に詰めるための探索方法だけど

もし、探索して詰める手順が見つからなかったとき
どうするんですか？
評価関数に基づく探索？
そもそも、どういう局面で詰めの探索を行うのかな？
判定を行うアルゴリズムがあるのかな・・・

現実的なアルゴリズムがあれば教えてください。

妄想のアルゴリズムを紹介してくれる人がいれば
妄想だという事を事前に教えてね。