cvb._sessions: null
cvb.acronym: SMT 2024
cvb.archive: https://ceur-ws.org/ftp-dir/Vol-3725.zip
cvb.ceurpubdate: '2024-07-11'
cvb.city: Montreal
cvb.cityWikidataId: Q340
cvb.colocated: CAV 2024
cvb.conference: null
cvb.country: Canada
cvb.countryWikidataId: Q16
cvb.date: null
cvb.dateFrom: '2024-07-22'
cvb.dateTo: '2024-07-23'
cvb.desc: '?'
cvb.editors: Giles Reger, Yoni Zohar
cvb.fromLine: 13868
cvb.fullTitle: null
cvb.h1: SMT 2024 Satisfiability Modulo Theories 2024
cvb.h3: Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories
  co-located with the 36th International Conference on Computer Aided Verification
  (CAV 2024)
cvb.homepage: https://smt-workshop.cs.uiowa.edu/2024/
cvb.lang: null
cvb.location: null
cvb.loctime: Montreal, Canada, July, 22-23, 2024
cvb.number: 3725
cvb.ordinal: null
cvb.pubDate: '2024-07-11T00:00:00'
cvb.pubYear: null
cvb.published: '2024-07-11'
cvb.region: null
cvb.seealso: ''
cvb.submitDate: null
cvb.submittedBy: Yoni Zohar
cvb.tdtitle: null
cvb.title: Proceedings of the 22nd International Workshop on Satisfiability Modulo
  Theories
cvb.toLine: 13892
cvb.url: https://ceur-ws.org/Vol-3725/
cvb.urn: urn:nbn:de:0074-3725-4
cvb.urn_check_digit: 4
cvb.urn_ok: true
cvb.valid: true
cvb.virtualEvent: false
cvb.volname: https://ceur-ws.org/Vol-3725/
cvb.voltitle: Satisfiability Modulo Theories 2024
cvb.volume_number: Vol-3725
cvb.year: '2024'
spt.acronym: SMT 2024
spt.date: '2024-07-11'
spt.dblp: null
spt.description: Proceedings of SMT 2024 workshop
spt.html_url: /Vol-3725.html
spt.k10plus: null
spt.number: 3725
spt.title: Proceedings of the 22nd International Workshop on Satisfiability Modulo
  Theories
spt.url: http://ceur-ws.org/Vol-3725/
spt.urn: urn:nbn:de:0074-3725-4
spt.wikidataid: Q129053600
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-3725-4
wd.Volume: null
wd.dblpEventId: conf/smt/smt2024
wd.dblpProceedingsId: null
wd.described_at_URL: http://ceur-ws.org/Vol-3725/
wd.event: http://www.wikidata.org/entity/Q129053604
wd.eventLabel: 22nd International Workshop on Satisfiability Modulo Theories
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-3725/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q129053600
wd.itemDescription: Proceedings of SMT 2024 workshop
wd.itemLabel: Proceedings of the 22nd International Workshop on Satisfiability Modulo
  Theories
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: null
wd.publication_date: '2024-07-11T00:00:00'
wd.sVolume: 3725
wd.short_name: SMT 2024
wd.title: Proceedings of the 22nd International Workshop on Satisfiability Modulo
  Theories
