Vol-3272⫷ Vol-3273 ⫸Vol-3274
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 |