2
[2008.02215] A Time Leap Challenge for SAT Solving
source link: https://arxiv.org/abs/2008.02215
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
[Submitted on 5 Aug 2020]
A Time Leap Challenge for SAT Solving
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.
| Comments: | Authors' version of a paper which is to appear in the proceedings of CP'2020 |
| Subjects: | Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Data Structures and Algorithms (cs.DS) |
| ACM classes: | I.1.2; B.8.2; I.2.8; I.2.3 |
| Cite as: | arXiv:2008.02215 [cs.AI] |
| (or arXiv:2008.02215v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2008.02215 |
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK