A Time Leap Challenge for SAT Solving

Add code
Aug 05, 2020
Johannes K. Fichte, Markus Hecher, Stefan Szeider
Figure 1 for A Time Leap Challenge for SAT Solving
Figure 2 for A Time Leap Challenge for SAT Solving
Figure 3 for A Time Leap Challenge for SAT Solving
Figure 4 for A Time Leap Challenge for SAT Solving

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

* Authors' version of a paper which is to appear in the proceedings of CP'2020  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon