| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 15 Jan 2026 17:10:24 GMT
Content-Type: text/html
Content-Length: 178
Location: https://ceur-ws.org/Vol-3545/
Connection: keep-alive
HTTP/1.1 200 OK
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 15 Jan 2026 17:10:24 GMT
Content-Type: text/html; charset=utf-8
Last-Modified: Fri, 17 Nov 2023 10:27:20 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"65574008-1590"
Content-Encoding: gzip
CEUR-WS.org/Vol-3545 - Pragmatics of SAT 2023
PoS 2023
Proceedings of the 14th International Workshop on Pragmatics of SAT
Edited by
Matti Järvisalo *
* 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
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|
|
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|