cvb.acronym: SMT 2021
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-2908.zip
cvb.ceurpubdate: '2021-07-15'
cvb.city: Los Angeles
cvb.cityWikidataId: Q65
cvb.colocated: CAV 2021
cvb.country: United States of America
cvb.countryWikidataId: Q30
cvb.dateFrom: '2021-07-18'
cvb.dateTo: '2021-07-19'
cvb.desc: '?'
cvb.editors: Alexander Nadel, Aina Niemetz
cvb.fromLine: 15563
cvb.h1: SMT 2021 Satisfiability Modulo Theories 2021
cvb.h3: Proceedings of the 19th International Workshop on Satisfiability Modulo Theories
  co-located with 33rd International Conference on Computer Aided Verification(CAV
  2021)
cvb.homepage: https://smt-workshop.cs.uiowa.edu/2021/
cvb.loc_city: Los_Angeles
cvb.loc_country: null
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: July
cvb.loc_other: in
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Online (initially located in Los Angeles, USA), July 18-19, 2021
cvb.number: 2908
cvb.pubDate: '2021-07-15T00:00:00'
cvb.published: '2021-07-15'
cvb.seealso: "Vol-2854\u21F9Vol-1889\u21F9Vol-1617\u21F9Vol-1163"
cvb.submittedBy: Aina Niemetz
cvb.tdtitle: Proceedings of the 19th International Workshop on Satisfiability Modulo
  Theories (SMT 2021) co-located with 33rd International Conference on Computer Aided
  Verification (CAV 2021) Online (initially located in Los Angeles, USA), July 18-19,
  2021.
cvb.title: Proceedings of the 19th International Workshop on Satisfiability Modulo
  Theories
cvb.toLine: 15585
cvb.url: http://ceur-ws.org/Vol-2908/
cvb.urn: urn:nbn:de:0074-2908-7
cvb.urn_check_digit: 7
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: 1
cvb.vol_number: null
cvb.volname: Satisfiability Modulo Theories 2021
cvb.voltitle: Satisfiability Modulo Theories 2021
cvb.volume_number: Vol-2908
cvb.year: '2021'
spt.acronym: SMT 2021
spt.date: '2021-07-15'
spt.dblp: conf/smt/2021
spt.description: Proceedings of SMT 2021 workshop
spt.html_url: /Vol-2908.html
spt.k10plus: '1771765194'
spt.number: 2908
spt.title: Proceedings of the 19th International Workshop on Satisfiability Modulo
  Theories
spt.url: http://ceur-ws.org/Vol-2908/
spt.urn: urn:nbn:de:0074-2908-7
spt.wikidataid: Q113542127
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-2908-7
wd.Volume: null
wd.dblpEventId: conf/smt/smt2021
wd.dblpProceedingsId: conf/smt/2021
wd.described_at_URL: http://ceur-ws.org/Vol-2908/
wd.event: http://www.wikidata.org/entity/Q113580128
wd.eventLabel: 19th International Workshop on Satisfiability Modulo Theories
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-2908/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113542127
wd.itemDescription: Proceedings of SMT 2021 workshop
wd.itemLabel: Proceedings of the 19th International Workshop on Satisfiability Modulo
  Theories
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1771765194'
wd.publication_date: '2021-07-15T00:00:00'
wd.sVolume: 2908
wd.short_name: SMT 2021
wd.title: Proceedings of the 19th International Workshop on Satisfiability Modulo
  Theories
