论文标题
SAT解决的时间飞跃挑战
A Time Leap Challenge for SAT Solving
论文作者
论文摘要
我们比较了硬件进步和算法进步对过去二十年中SAT解决的影响。特别是，我们将新计算机硬件上的20年历史卫星器与20岁硬件上的现代卫星赛车进行了比较。我们的发现表明，算法方面的进度至少与硬件方面的进度一样多。
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.
