A Time Leap Challenge for SAT Solving

08/05/2020
by   Johannes K. Fichte, et al.
1

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset