PoS 2023
Pragmatics of SAT

Table of Contents

• Preface
  Summary: There were 15 papers submitted for peer-review to this workshop. Out of these, 6 papers were accepted for this volume, 6 as regular papers.

• Quantum Graph-State Synthesis with SAT 1-13
  Sebastiaan Brand, Tim Coopmans, Alfons Laarman
• Prioritised Unit Propagation by Partitioning the Watch Lists 14-34
  Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis
• Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies 35-45
  Vincent Vallade, Julien Sopena, Souheib Baarir
• An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems 46-58
  Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
• Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging 59-71
  Tobias Paxian, Armin Biere
• The SAT Museum 72-87
  Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J.H. Heule