2020/08/05 by Johannes K. Fichte, Markus Hecher, Fichte, Johannes K. +3 · 3 voices
#cs.AI #cs.AR #cs.DS
paper · pdf · doi:10.48550/arxiv.2008.02215
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.