=Volume=
{{Volume
|number=3545
|storemode=property
|wikidataid=Q123527924
|title=Proceedings of the 14th International Workshop on Pragmatics of SAT
|acronym=PoS 2023
|url=http://ceur-ws.org/Vol-3545/
|date=2023-11-10
|dblp=conf/sat/2023pos
|urn=urn:nbn:de:0074-1155-8
}}