Vol-3455
urn:nbn:de:0074-3455-4

Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

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

Preface
Summary: There were 9 papers submitted for peer-review to this workshop. Out of these, 6 papers were accepted for this volume, 2 as regular papers and 4 as short papers.

Part 1: Invited Contributions

Challenges in SMT Proof Production and Checking for Arithmetic Reasoning (Invited Paper) 1-9
Haniel Barbosa
Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract) 10
André Platzer

Part 2: Regular Papers

Widening for Systems of Two Variables Per Inequality 11-28
Martin Brain, Jacob M. Howe
Data Augmentation for Mathematical Objects 29-38
Tereso del Río, Matthew England

Part 3: Short Papers

A Hybrid SAT and Lattice Reduction Approach for Integer Factorization 39-43
Yameen Ajani, Curtis Bright
Towards Detection of Partial Truth via Real Geometry 44-53
Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez
Iterated Resultants in CAD 54-60
James H. Davenport, Matthew England
Gröbner Bases for Boolean Function Minimization 61-68
Nicolas Faroß, Simon Schwarz

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|