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