@inproceedings{BiereFleuryFroleyksHeule-POS23,
  author    = {Biere, Armin and
               Fleury, Mathias and
	       Froleyks, Nils and
	       Heule, J.H. Marijn},
  editor    = {J\"{a}rvisalo, Matti and
               Le Berre, Daniel},
  title     = {The {SAT} Museum},
  booktitle = {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},
  series    = {{CEUR} Workshop Proceedings},
  pages     = {72-87},
  volume    = {3545},
  publisher = {CEUR-WS.org},
  year      = {2023},
  url       = {http://ceur-ws.org/Vol-3545/paper6.pdf},
}