Jonathan Chung

この記事では、リセット戦略が強化学習を使ってSATソルバーのパフォーマンスを向上させる方法について話してるよ。

ERCLがSATソルバーの効率をどう向上させるかの考察。