This volume contains the proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square). The SC-Square workshop has been held annually since 2016 and focuses on areas of mutual interest to the symbolic computation and satisfiability communities.
In 2025, it was a one-day event (2 August 2025), co-located with the 30th International Conference on Automated Deduction (CADE), held from 28 July to 2 August 2025 in Stuttgart, Germany.
The program consisted of two invited talks: Stefan Szeider (TU Wien, AT) and Martin Suda (Czech Technical University in Prague, CZ). Stefan’s talk addressed mathematical discovery with SAT Modulo Symmetries, while Martin’s focused on boosting Vampire with neural networks.
The workshop received a total of eight submissions: four full papers, one extended abstract, and three presentation-only papers. The full papers and the extended abstract were thoroughly reviewed by members of the program committee to ensure high scientific quality. Following the review process, all were accepted for inclusion in these proceedings. The presentation-only papers (not included in the proceedings) underwent a lighter review process.
We gratefully acknowledge the support of the EasyChair team for providing the conference management platform and the CADE organizers for facilitating the co-located event.
We also acknowledge the generous support of the wife of the late Christian Zipfel, whose donation, established as the Christian Zipfel Award, has encouraged the participation of two young researchers in the workshop.
The organizers extend our sincere gratitude to all authors, reviewers, and participants whose contributions and engagement made SC-Square 2025 a successful and inspiring event.
Mikoláš Janota
Program Committee Haniel Barbosa Universidade Federal de Minas Gerais, BR Nikolaj Bjørner Microsoft Research, USA Martin Brain City University of London, UK Curtis Bright University of Windsor, CA Christopher Brown United States Naval Academy, USA James H. Davenport University of Bath, UK Matthew England Coventry University, UK Pascal Fontaine Université de Liège, BE Vijay Ganesh Georgia Tech, USA Petra Hozzová Czech Technical University, CZ Daniela Kaufmann TU Wien, AT Ilias Kotsireas Wilfrid Laurier University, CA Konstantin Korovin University of Manchester, UK Robert Lewis Brown University, USA Jasper Nalbach RWTH Aachen University, DE Tomáš Peitl TU Wien, DE Stefan Ratschan Academy of Sciences of the Czech Republic, CZ Thomas Sturm CNRS, France & MPI Informatics, DE Ali K. Uncu University of Bath, UK