Matti Järvisalo, Daniel Le Berre, editors, 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. Volume 3545 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Conference: sat2023
@proceedings{sat-2023pos, title = {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}, year = {2023}, url = {https://nbn-resolving.org/urn:nbn:de:0074-3545-4}, researchr = {https://researchr.org/publication/sat-2023pos}, cites = {0}, citedby = {0}, booktitle = {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}, conference = {sat}, editor = {Matti Järvisalo and Daniel Le Berre}, volume = {3545}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }