cvb.acronym: PAAR+SC-Square 2020
cvb.archive: http://sunsite.informatik.rwth-aachen.de/ftp/pub/publications/CEUR-WS/Vol-2752.zip
cvb.ceurpubdate: '2020-11-26'
cvb.city: Paris
cvb.cityWikidataId: Q90
cvb.colocated: IJCAR 2020
cvb.country: France
cvb.countryWikidataId: Q142
cvb.dateFrom: null
cvb.dateTo: null
cvb.desc: '?'
cvb.editors: "Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp R\xFC\
  mmer, Sophie Tourret"
cvb.fromLine: 18872
cvb.h1: PAAR+SC-Square 2020 Practical Aspects of Automated Reasoning and Satisfiability
  Checking and Symbolic Computation Workshop 2020
cvb.h3: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning
  (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square)
  Workshop, 2020 co-located with the 10th International Joint Conference on Automated
  Reasoning (IJCAR 2020)
cvb.homepage: null
cvb.loc_city: Paris
cvb.loc_country: France
cvb.loc_days: null
cvb.loc_locs: null
cvb.loc_month: null
cvb.loc_other: null
cvb.loc_region: null
cvb.loc_typos: null
cvb.loctime: Paris, France, June-July, 2020 (Virtual)
cvb.number: 2752
cvb.pubDate: '2020-11-26T00:00:00'
cvb.published: '2020-11-26'
cvb.seealso: ''
cvb.submittedBy: ''
cvb.tdtitle: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
  Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop
  (SC-Square) Workshop, 2020 (PAAR+SC-Square 2020),Paris, France, June-July, 2020
  (Virtual).
cvb.title: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
  Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop
  (SC-Square) Workshop, 2020
cvb.toLine: 18889
cvb.url: http://ceur-ws.org/Vol-2752/
cvb.urn: urn:nbn:de:0074-2752-0
cvb.urn_check_digit: 0
cvb.urn_ok: 1
cvb.valid: 1
cvb.virtualEvent: null
cvb.vol_number: null
cvb.volname: Practical Aspects of Automated Reasoning and Satisfiability Checking
  and Symbolic Computation Workshop 2020
cvb.voltitle: Practical Aspects of Automated Reasoning and Satisfiability Checking
  and Symbolic Computation Workshop 2020
cvb.volume_number: Vol-2752
cvb.year: '2020'
spt.acronym: PAAR+SC-Square 2020
spt.date: '2020-11-26'
spt.dblp: conf/cade/2020paar
spt.description: Proceedings of PAAR+SC-Square 2020 workshop
spt.html_url: /Vol-2752.html
spt.k10plus: '1747804959'
spt.number: 2752
spt.title: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
  Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop
  (SC-Square) Workshop, 2020
spt.url: http://ceur-ws.org/Vol-2752/
spt.urn: urn:nbn:de:0074-2752-0
spt.wikidataid: Q113542412
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
wd.URN_NBN: urn:nbn:de:0074-2752-0
wd.Volume: null
wd.dblpEventId: conf/cade/paar2020|conf/cade/paar2020
wd.dblpProceedingsId: conf/cade/2020paar
wd.described_at_URL: http://ceur-ws.org/Vol-2752/
wd.event: http://www.wikidata.org/entity/Q113582087|http://www.wikidata.org/entity/Q113582196
wd.eventLabel: 7th Workshop on Practical Aspects of Automated Reasoning|5th International
  Workshop on Satisfiability Checking and Symbolic Computation
wd.eventSeries: ''
wd.eventSeriesLabel: ''
wd.eventSeriesOrdinal: ''
wd.fullWorkUrl: http://ceur-ws.org/Vol-2752/
wd.homePage: null
wd.item: http://www.wikidata.org/entity/Q113542412
wd.itemDescription: Proceedings of PAAR+SC-Square 2020 workshop
wd.itemLabel: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
  Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop
  (SC-Square) Workshop, 2020
wd.language_of_work_or_name: null
wd.language_of_work_or_nameLabel: null
wd.ppnId: '1747804959'
wd.publication_date: '2020-11-26T00:00:00'
wd.sVolume: 2752
wd.short_name: PAAR+SC-Square 2020
wd.title: Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
  Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop
  (SC-Square) Workshop, 2020
