Vol-3273
urn:nbn:de:0074-3273-7

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2021
Satisfiability Checking and Symbolic Computation 2021

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

Virtual Event, College Station, United States, August 19–20, 2021.

Edited by

Curtis Bright *
James H. Davenport **

* University of Windsor, School of Computer Science, Windsor, Canada
** University of Bath, Department of Computer Science, Bath, United Kingdom

Table of Contents

Preface
Summary: There were 7 papers submitted for peer-review to this workshop (including 2 invited papers) and all were accepted.

Invited Talks

SC-Square: Overview to 2021 (invited paper) 1–6
Matthew England
SC-Square: Future Progress with Machine Learning? (invited paper) 7–16
Matthew England
Logic Solvers and Machine Learning: The Next Frontier (keynote abstract) 17
Vijay Ganesh

Contributed Papers

Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper) 18–26
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
Degröbnerization and Its Applications: Reverse Engineering of Gene Regulatory Networks (poster paper) 27–30
Michela Ceria, Samuel Lundqvist, Ferdinando Mora
Varieties of Doubly-Exponential behaviour in Cylindrical Algebraic Decomposition 31–40
James H. Davenport
Practical Evaluation of Quantifier Elimination Methods (short paper) 41–49
James H. Davenport, Zak Tonks, Ali Uncu
Equational Constraints, the Lazard Projection and the Curtain Problem (short paper) 50–58
Akshar S. Nair, James H. Davenport, Gregory Sankaran

2022-10-29: submitted by Curtis Bright, metadata incl. bibliographic data published under Creative Commons CC0
2022-11-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|