Talks and Poster Presentations (with Proceedings-Entry):
J. Fichte, M. Hecher, S. Szeider:
"A Time Leap Challenge for SAT-Solving";
Talk: CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming,
Louvain-laNeuve, Belgium;
2020-09-07
- 2020-09-11; in: "Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings",
(2020),
267
- 285.
English 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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-58475-7_16
Related Projects:
Project Head Stefan Woltran:
HYPAR
Project Head Stefan Woltran:
START
Created from the Publication Database of the Vienna University of Technology.