CEUR-WS.org/Vol-4116 - Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025)

Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025)
co-located with CADE 2025

Stuttgart, Germany, August 2, 2025.

Edited by

Mădălina Erașcu
Mikoláš Janota

PDF
SAT Modulo Symmetries: A Survey 1-11 PDF
Stefan Szeider
Boosting Vampire with Neural Networks 12-18 PDF
Martin Suda, Filip Bártek
A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination 19-34 PDF
Jasper Nalbach, Erika Ábrahám
Recycling Algebraic Proof Certificates 35-40 PDF
Daniela Kaufmann, Clemens Hofstadler
Projective Delineability for Single Cell Construction 41-54 PDF
Jasper Nalbach, Lucas Michel, Erika Ábrahám, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Naïm Zénaïdi
Symbolic Sets for Proving Bounds on Rado Numbers 55-75 PDF
Tanbir Ahmed, Lamina Zaman, Curtis Bright

2025-12-02: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|

SC-Square 2025