A Time Leap Challenge for SAT Solving
arXiv:2008.02215v224 citations
AI Analysis
This addresses the relative contributions of hardware and algorithms for SAT solving, which is incremental but provides empirical evidence for researchers and practitioners.
The study compared the impact of hardware versus algorithm advancements in SAT solving over two decades, finding that algorithmic progress had at least as much impact as hardware improvements.
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.