SC-square@SIAM AG

Keyphrases

Publications

2019

Gereon Kremer, Erika Ábrahám, Vijay Ganesh
On the Proof Complexity of MCSAT. SC-square@SIAM AG (2019)
Akshar Nair, James H. Davenport, Gregory Sankaran
On Benefits of Equality Constraints in Lex-Least Invariant CAD. SC-square@SIAM AG (2019)
Jasper Nalbach, Gereon Kremer, Erika Ábrahám
On Variable Orderings in MCSAT for Non-Linear Real Arithmetic. SC-square@SIAM AG (2019)
Zak Tonks
Evolutionary Virtual Term Substitution in a Quantifier Elimination System. SC-square@SIAM AG (2019)
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-square@SIAM AG (2019)
Dorian Florescu, Matthew England
Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine Learning. SC-square@SIAM AG (2019)
Ahmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani
Lemmas for Satisfiability Modulo Transcendental Functions via Incremental Linearization. SC-square@SIAM AG (2019)
Andreas Weber
SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper). SC-square@SIAM AG (2019)

volume 2460, 2019

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. SC-square@SIAM AG 2460 (2019)