Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule. The SAT Museum. In Matti Järvisalo, Daniel Le Berre, editors, Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. Volume 3545 of CEUR Workshop Proceedings, pages 72-87, CEUR-WS.org, 2023. [doi]
Abstract is missing.