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|