SC-Square 2023
Satisfiability Checking and Symbolic Computation 2023

Proceedings of the 8th SC-Square Workshop
co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023)

Tromsø, Norway, July 28, 2023.

Edited by

Erika Ábrahám *
Thomas Sturm **

* RWTH Aachen University, Germany
** CNRS, Inria, and the University of Lorraine, France; MPI Informatics and Saarland University, Germany

Table of Contents

Part 1: Invited Contributions

Part 2: Regular Papers

Part 3: Short Papers

2023-07-20: submitted by Thomas Sturm, metadata incl. bibliographic data published under Creative Commons CC0
2023-08-15: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|