“A Time Leap Challenge for SAT Solving”, Johannes K. Fichte, Markus Hecher, Stefan Szeider2020-08-05 (AI, algorithms, computer hardware, experience curves, model-based RL; backlinks; similar)⁠:

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.

[This is not true as stated, and is a common fallacy in these ‘timetravel’ experiments. What they find is that if you run a current-day algorithm on current-day hardware, they make equal contributions; this is not the same thing as saying that they caused the same amount of progress. Those algorithms could not have been researched without more computing power! Therefore…]

Backlinks:

Similar Links: