We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI
< prev | next >
new | recent | 2008

Change to browse by:

cs
cs.AR
cs.DS

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Artificial Intelligence

Title: A Time Leap Challenge for SAT Solving

Authors: Johannes K. Fichte, Markus Hecher, Stefan Szeider
(Submitted on 5 Aug 2020 (v1), last revised 6 Jul 2023 (this version, v2))
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.
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.02215v2 [cs.AI] for this version)

Submission history

From: Johannes Klaus Fichte [view email]
[v1] Wed, 5 Aug 2020 16:33:41 GMT (86kb,D)
[v2] Thu, 6 Jul 2023 12:28:37 GMT (101kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.