A Time Leap Challenge for SAT Solving

要約

過去 20 年間にわたる SAT 解決に対するハードウェアの進歩とアルゴリズムの進歩の影響を比較します。
特に、新しいコンピューター ハードウェア上の 20 年前の SAT ソルバーと、20 年前のハードウェア上の最新の SAT ソルバーを比較します。
私たちの調査結果は、アルゴリズム側の進歩がハードウェア側の進歩と少なくとも同じくらいの影響を与えていることを示しています。

要約(オリジナル)

We compare the impact of hardware advancement and algorithm advancement for SAT solving over the last two decades. In particular, we compare 20-year-old SAT-solvers on new computer hardware with modern SAT-solvers on 20-year-old hardware. Our findings show that the progress on the algorithmic side has at least as much impact as the progress on the hardware side.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google