cvb._sessions: null
cvb.acronym: SC-Square 2025
cvb.archive: https://ceur-ws.org/ftp-dir/Vol-4116.zip
cvb.ceurpubdate: '2025-12-02'
cvb.city: Stuttgart
cvb.cityWikidataId: Q1022
cvb.colocated: CADE 2025
cvb.conference: null
cvb.country: Germany
cvb.countryWikidataId: Q183
cvb.date: null
cvb.dateFrom: '2025-08-02'
cvb.dateTo: '2025-08-02'
cvb.desc: '?'
cvb.editors: "M\u0103d\u0103lina Era\u0219cu, Mikol\xE1\u0161 Janota"
cvb.fromLine: 2156
cvb.fullTitle: null
cvb.h1: SC-Square 2025 Satisfiability Checking and Symbolic Computation 2025
cvb.h3: Proceedings of the 10th International Workshop on Satisfiability Checking
  and Symbolic Computation (SC-Square 2025) Collocated with The 30th International
  Conference on Automated Deduction (CADE 2025)
cvb.homepage: https://www.sc-square.org/CSA/workshop10.html
cvb.lang: null
cvb.location: null
cvb.loctime: Stuttgart, Germany, August 2, 2025
cvb.number: 4116
cvb.ordinal: null
cvb.pubDate: '2025-12-02T00:00:00'
cvb.pubYear: null
cvb.published: '2025-12-02'
cvb.region: null
cvb.seealso: ''
cvb.submitDate: null
cvb.submittedBy: "Mikol\xE1\u0161 Janota"
cvb.tdtitle: null
cvb.title: Proceedings of the 10th International Workshop on Satisfiability Checking
  and Symbolic Computation (SC-Square 2025)
cvb.toLine: 2180
cvb.url: https://ceur-ws.org/Vol-4116/
cvb.urn: urn:nbn:de:0074-4116-x
cvb.urn_check_digit: 7
cvb.urn_ok: false
cvb.valid: true
cvb.virtualEvent: false
cvb.volname: https://ceur-ws.org/Vol-4116/
cvb.voltitle: Satisfiability Checking and Symbolic Computation 2025
cvb.volume_number: Vol-4116
cvb.year: '2025'
spt.acronym: SC-Square 2025
spt.date: '2025-12-02'
spt.dblp: null
spt.description: null
spt.html_url: /Vol-4116.html
spt.k10plus: null
spt.number: 4116
spt.title: Proceedings of the 10th International Workshop on Satisfiability Checking
  and Symbolic Computation (SC-Square 2025)
spt.url: null
spt.urn: null
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
