Abstract is missing.
- On Benefits of Equality Constraints in Lex-Least Invariant CADAkshar Nair, James H. Davenport, Gregory Sankaran. [doi]
- SC-square-methods for the Detection of Hopf Bifurcations in Chemical Reaction Networks (invited paper)Andreas Weber 0004. [doi]
- On the Proof Complexity of MCSATGereon Kremer, Erika Ábrahám, Vijay Ganesh. [doi]
- Algorithmically Generating New Algebraic Features of Polynomial Systems for Machine LearningDorian Florescu, Matthew England 0001. [doi]
- On Variable Orderings in MCSAT for Non-Linear Real ArithmeticJasper Nalbach, Gereon Kremer, Erika Ábrahám. [doi]
- Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous DrivingKarsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer. [doi]
- Evolutionary Virtual Term Substitution in a Quantifier Elimination SystemZak Tonks. [doi]
- Lemmas for Satisfiability Modulo Transcendental Functions via Incremental LinearizationAhmed Irfan, Alessandro Cimatti, Alberto Griggio, Marco Roveri, Roberto Sebastiani. [doi]