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