cvb._sessions: null
cvb.acronym: SMT+PoS 2025
cvb.archive: https://ceur-ws.org/ftp-dir/Vol-4008.zip
cvb.ceurpubdate: '2025-08-07'
cvb.city: Glasgow
cvb.cityWikidataId: Q4093
cvb.colocated: CP 2025 & SAT 2025 & SoCS 2025
cvb.conference: null
cvb.country: United Kingdom
cvb.countryWikidataId: Q145
cvb.date: null
cvb.dateFrom: '2025-08-10'
cvb.dateTo: '2025-08-11'
cvb.desc: '?'
cvb.editors: "Jochen Hoenicke, Mikol\xE1\u0161 Janota, Aina Niemetz, Sophie Tourret"
cvb.fromLine: 5305
cvb.fullTitle: null
cvb.h1: SMT+PoS 2025 Satisfiability Modulo Theories & Pragmatics of SAT 2025
cvb.h3: Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo
  Theories and the 16th Pragmatics of SAT International Workshop co-located with the
  31st International Conference on Principles and Practice of Constraint Programming,
  the 28th International Conference on Theory and Applications of Satisfiability Testing
  and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025
  & SoCS 2025)
cvb.homepage: null
cvb.lang: null
cvb.location: null
cvb.loctime: "Glasgow, UK, August 10\u201311, 2025"
cvb.number: 4008
cvb.ordinal: null
cvb.pubDate: '2025-08-07T00:00:00'
cvb.pubYear: null
cvb.published: '2025-08-07'
cvb.region: null
cvb.seealso: ''
cvb.submitDate: null
cvb.submittedBy: Jochen Hoenicke
cvb.tdtitle: null
cvb.title: Joint Proceedings of the 23rd International Workshop on Satisfiability
  Modulo Theories and the 16th Pragmatics of SAT International Workshop
cvb.toLine: 5329
cvb.url: https://ceur-ws.org/Vol-4008/
cvb.urn: urn:nbn:de:0074-4008-X
cvb.urn_check_digit: 7
cvb.urn_ok: false
cvb.valid: true
cvb.virtualEvent: false
cvb.volname: https://ceur-ws.org/Vol-4008/
cvb.voltitle: Satisfiability Modulo Theories & Pragmatics of SAT 2025
cvb.volume_number: Vol-4008
cvb.year: '2025'
spt.acronym: SMT+PoS 2025
spt.date: '2025-08-07'
spt.dblp: null
spt.description: null
spt.html_url: /Vol-4008.html
spt.k10plus: null
spt.number: 4008
spt.title: Joint Proceedings of the 23rd International Workshop on Satisfiability
  Modulo Theories and the 16th Pragmatics of SAT International Workshop
spt.url: null
spt.urn: null
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
