The SAT Museum

Armin Biere; Mathias Fleury; Nils Froleyks; Marijn Heule

The SAT Museum

Armin Biere, Mathias Fleury, Nils Froleyks, Marijn Heule

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

The virtual SAT Solver Museum is an effort towards preserving historical SAT solvers, by collecting and porting their source code to modern compilers and evaluating them on representative benchmark sets on the same hardware. This allows us to compare historic and modern solvers in the same environment. Our results clearly show a remarkable improvement of SAT solver performance in the last 25 years.

Original language	English
Title of host publication	CEUR Workshop Proceedings (CEUR-WS.org)
Publisher	CEUR-WS
Number of pages	18
Publication status	Published - 2023

Publication series

Name	POS’23: Pragmatics of SAT

Fields of science

102 Computer Sciences
102001 Artificial intelligence
102011 Formal languages
102022 Software development
102031 Theoretical computer science
603109 Logic
202006 Computer hardware

Cite this

@inproceedings{2350890faf2c43688c8591bb4a3e2ef4,

title = "The SAT Museum",

abstract = "The virtual SAT Solver Museum is an effort towards preserving historical SAT solvers, by collecting and porting their source code to modern compilers and evaluating them on representative benchmark sets on the same hardware. This allows us to compare historic and modern solvers in the same environment. Our results clearly show a remarkable improvement of SAT solver performance in the last 25 years.",

author = "Armin Biere and Mathias Fleury and Nils Froleyks and Marijn Heule",

year = "2023",

language = "English",

series = "POS{\textquoteright}23: Pragmatics of SAT",

publisher = "CEUR-WS",

booktitle = "CEUR Workshop Proceedings (CEUR-WS.org)",

}

TY - GEN

T1 - The SAT Museum

AU - Biere, Armin

AU - Fleury, Mathias

AU - Froleyks, Nils

AU - Heule, Marijn

PY - 2023

Y1 - 2023

N2 - The virtual SAT Solver Museum is an effort towards preserving historical SAT solvers, by collecting and porting their source code to modern compilers and evaluating them on representative benchmark sets on the same hardware. This allows us to compare historic and modern solvers in the same environment. Our results clearly show a remarkable improvement of SAT solver performance in the last 25 years.

AB - The virtual SAT Solver Museum is an effort towards preserving historical SAT solvers, by collecting and porting their source code to modern compilers and evaluating them on representative benchmark sets on the same hardware. This allows us to compare historic and modern solvers in the same environment. Our results clearly show a remarkable improvement of SAT solver performance in the last 25 years.

M3 - Conference proceedings

T3 - POS’23: Pragmatics of SAT

BT - CEUR Workshop Proceedings (CEUR-WS.org)

PB - CEUR-WS

ER -