| Vol-2460 urn:nbn:de:0074-2460-6 Copyright © 2019 for the individual papers by the papers' authors. Copyright © 2019 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 2019
Satisfiability Checking and Symbolic Computation 2019

### Proceedings of the 4th SC-Square Workshop
co-located with the SIAM Conference on Applied Algebraic Geometry (SIAM AG 2019)

### Bern, Switzerland, 10th July 2019.

Edited by

### John Abbott *
Alberto Griggio **

* Faculty of Computer Science and Mathematics, University of Passau, Passau, Germany
** Embedded Systems Unit, Fondazione Bruno Kessler, Trento, Italy

## Table of Contents

- Preface

### Part 1: Invited Talk

- SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper) Andreas Weber

### Part 2: contributed papers

- Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
- On the Proof Complexity of MCSAT Gereon Kremer, Erika Ábrahám, Vijay Ganesh
- Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning Dorian Florescu, Matthew England
- Evolutionary Virtual Term Substitution in a Quantifier Elimination System Zak Tonks

### Part 3: extended abstracts

- On Variable Orderings in MCSAT for Non-Linear Real Arithmetic Jasper Nalbach, Gereon Kremer, Erika Ábrahám
- On Benefits of Equality Constraints in Lex-Least Invariant CAD Akshar Nair, James Davenport, Gregory Sankaran
- Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani

Complete proceedings in one ZIP file

2019-10-01: submitted by John Abbott and Alberto Griggio metadata incl. bibliographic data published under Creative Commons CC0
2019-10-04: published on CEUR-WS.org |valid HTML5|