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