POS POS'22 FLOC PAPERS: EDITOR'S PREFACE
These informal proceedings contain the original papers and work-in-progress submissions the respective authors wished to make available accepted for presentation at the 2022 Pragmatics of SAT (PoS) internaltional workshop, associated with the SAT 2022 conference, taking place on August 1 in Haifa, Israel at the Federated Logic Conference FLoC 2022.
We are grateful to the FLoC conference for hosting the workshop and easychair for providing both a great reviewing platform and hosting those informal proceedings.
Daniel Le Berre
Matti Järvisalo
Matti Järvisalo
July 27, 2022
LENS
LENS