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

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|