cvb.acronym: PoS 2023
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-3545.zip
cvb.ceurpubdate: '2023-11-10'
cvb.city: Alghero
cvb.cityWikidataId: Q166282
cvb.colocated: SAT 2023
cvb.country: Italy
cvb.countryWikidataId: Q38
cvb.dateFrom: '2023-07-04'
cvb.dateTo: '2023-07-04'
cvb.desc: '?'
cvb.editors: "Matti J\xE4rvisalo, Daniel Le Berre"
cvb.fromLine: 1389
cvb.h1: PoS 2023 Pragmatics of SAT
cvb.h3: 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)
cvb.homepage: http://www.pragmaticsofsat.org/2023
cvb.loc_city: Alghero
cvb.loc_country: Italy
cvb.loc_days: '4'
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Alghero, Italy, July 4, 2023
cvb.number: 3545
cvb.pubDate: '2023-11-10T00:00:00'
cvb.published: '2023-11-10'
cvb.seealso: ''
cvb.submittedBy: Daniel Le Berre
cvb.tdtitle: Proceedings of the 14th International Workshop on Pragmatics of SAT (PoS
  2023),Alghero, Italy, July 4, 2023.
cvb.title: Proceedings of the 14th International Workshop on Pragmatics of SAT
cvb.toLine: 1406
cvb.url: http://ceur-ws.org/Vol-3545/
cvb.urn: urn:nbn:de:0074-3545-4
cvb.urn_check_digit: 4
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Pragmatics of SAT 2023
cvb.voltitle: Pragmatics of SAT
cvb.volume_number: Vol-3545
cvb.year: '2023'
spt.acronym: PoS 2023
spt.date: '2023-11-10'
spt.dblp: conf/sat/2023pos
spt.description: Proceedings of PoS 2023 workshop
spt.html_url: /Vol-3545.html
spt.k10plus: null
spt.number: 3545
spt.title: Proceedings of the 14th International Workshop on Pragmatics of SAT
spt.url: http://ceur-ws.org/Vol-3545/
spt.urn: urn:nbn:de:0074-3545-4
spt.wikidataid: Q123527924
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3545-4
wd.Volume: null
wd.dblpEventId: ''
wd.dblpProceedingsId: conf/sat/2023pos
wd.described_at_URL: http://ceur-ws.org/Vol-3545/
wd.event: http://www.wikidata.org/entity/Q123527926
wd.eventLabel: 14th International Workshop on Pragmatics of SAT
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3545/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q123527924
wd.itemDescription: Proceedings of PoS 2023 workshop
wd.itemLabel: Proceedings of the 14th International Workshop on Pragmatics of SAT
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2023-11-10T00:00:00'
wd.sVolume: 3545
wd.short_name: PoS 2023
wd.title: Proceedings of the 14th International Workshop on Pragmatics of SAT
