Vol-3454⫷ Vol-3455 ⫸Vol-3456
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 |