SC-Square 2025
Satisfiability Checking and Symbolic Computation 2025

Table of Contents

• Preface
  Summary: There were 6 papers submitted for peer-review to this workshop (including 2 invited papers) and all were accepted. Out of these, 4 are regular papers and 2 short papers.

Invited Papers

• SAT Modulo Symmetries: A Survey 1-11
  Stefan Szeider
• Boosting Vampire with Neural Networks 12-18
  Martin Suda, Filip Bártek

Contributed Papers

• A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination 19-34
  Jasper Nalbach, Erika Ábrahám
• Recycling Algebraic Proof Certificates 35-40
  Daniela Kaufmann, Clemens Hofstadler
• Projective Delineability for Single Cell Construction 41-54
  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
  Tanbir Ahmed, Lamina Zaman, Curtis Bright