A Time Leap Challenge for SAT-Solving

Fichte, Johannes K.; Hecher, Markus; Szeider, Stefan

doi:10.1007/978-3-030-58475-7_16

Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.

Record link:

http://hdl.handle.net/20.500.12708/58332

Title:

A Time Leap Challenge for SAT-Solving

Citation:

Fichte, J. K., Hecher, M., & Szeider, S. (2020). A Time Leap Challenge for SAT-Solving. In Principles and Practice of Constraint Programming 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings (pp. 267–285). https://doi.org/10.1007/978-3-030-58475-7_16

Publisher DOI:

10.1007/978-3-030-58475-7_16

Publication Type:

Inproceedings - Full-Paper Contribution

Authors:

Fichte, Johannes K.
Hecher, Markus
Szeider, Stefan

Organisational Unit:

E192-01 - Forschungsbereich Algorithms and Complexity
E192-02 - Forschungsbereich Databases and Artificial Intelligence

Published in:

Principles and Practice of Constraint Programming 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

DOI of the book:

10.1007/978-3-030-58475-7

Date (published):

2020

Event name:

CP 2020 - 26th International Conference - Principles and Practice of Constraint Programming

Event date:

7-Sep-2020 - 11-Sep-2020

Event place:

Louvain-laNeuve, Belgium

Number of Pages:

Peer reviewed:

Yes

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.

Project title:

START: Y 698-N23 (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))
Hybrid Parameterized Problem Solving in Practice: P32830-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF))

Research Areas:

Logic and Computation: 100%

Science Branch:

Informatik

Appears in Collections:

Conference Paper

Show full item record