| Vol-3545 urn:nbn:de:0074-3545-4 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# PoS 2023
Pragmatics of SAT

### 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.

Edited by

### Matti Järvisalo *
Daniel Le Berre **

* University of Helsinki, Department of Computer Science, PO Box 68, 00014 Helsinki, Finland
** Université d'Artois and CNRS, Centre de Recherche en Informatique de Lens (CRIL), Rue Jean Souvraz SP 18, 62307 Lens, France

## 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

2023-10-25: submitted by Daniel Le Berre, metadata incl. bibliographic data published under Creative Commons CC0
2023-11-10: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|