A Time Leap Challenge for SAT Solving
Artificial Intelligence
2023-07-07 v2 Hardware Architecture
Data Structures and Algorithms
Abstract
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.
Keywords
Cite
@article{arxiv.2008.02215,
title = {A Time Leap Challenge for SAT Solving},
author = {Johannes K. Fichte and Markus Hecher and Stefan Szeider},
journal= {arXiv preprint arXiv:2008.02215},
year = {2023}
}
Comments
Authors' version of a paper which is to appear in the proceedings of CP'2020