=Paper=
{{Paper
|id=Vol-3273/xpreface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-3273/xpreface.pdf
|volume=Vol-3273
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-3273/xpreface.pdf</pdf>
<pre>
Proceedings of SC-Square 2021: The 6th International
Workshop on Satisfiability Checking and Symbolic
Computation



Preface
This volume contains the proceedings of the 6th International Workshop on Satisfiability
Checking and Symbolic Computation (SC2 ). The SC2 workshop is run annually and focuses
on areas of mutual interest to the symbolic computation community and the satisfiability
community.
   In 2021, the workshop was co-located with the SIAM Conference on Applied Algebraic
Geometry. This event was originally planned to be held in College Station, Texas, USA, but due
to the COVID-19 pandemic it was held virtually. The workshop took place over August 19–20,
and consisted of talks by twelve speakers.1 Two talks were invited: Vijay Ganesh (University
of Waterloo) spoke on combining logic solvers with machine learning, and Matthew England
(Coventry University) gave a two-part talk, consisting of a historical overview of SC2 successes
as well as a survey on connections between SC2 algorithms and machine learning.
   After the workshop, a public call went out for submissions to the written proceedings. Seven
submissions were received in total, including one for each part of the invited talk of Mathew
England. The submissions were reviewed by members of the program committee (and in some
cases by external reviewers) and all submissions were accepted for inclusion in the proceedings.
   The organizers would like to thank all participants for making the workshop a success, as well
as all reviewers for their detailed reviews which raised the quality of the published proceedings.
The organizers would also like to thank the EasyChair team for providing the platform on
which the papers were submitted and reviewed and the CEUR-WS.org team for their assistance
in publishing the proceedings.
                                                                                     Curtis Bright
                                                                                 James Davenport
                                                                      SC2 Workshop 2021 Chairs




SC2 2021: 6th International Workshop on Satisfiability Checking and Symbolic Computation, August 19–20, 2021
                                       © 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
    CEUR
    Workshop
             CEUR Workshop Proceedings (CEUR-WS.org)
    Proceedings
                  http://ceur-ws.org
                  ISSN 1613-0073




1
    The talks were recorded and are available to watch on YouTube:
    https://www.youtube.com/playlist?list=PLyS1-FKS95m_7LBgG-gbr4HqT3xdgY9SS
Program Committee
John Abbott          University of Genoa, Italy
Erika Ábrahám        RWTH Aachen University, Germany
Anna M. Bigatti      University of Genoa, Italy
Matthew England      Coventry University, UK
Pascal Fontaine      University of Lorraine, Nancy, France
Vijay Ganesh         University of Waterloo, Canada
Alberto Griggio      Bruno Kessler Institute, Povo, Italy
Marijn J. H. Heule   Carnegie Mellon University, Pittsburgh, USA
Ahmed Irfan          Stanford, USA
Dejan Jovanovic      SRI, Menlo Park, USA
Manuel Kauers        Johannes Kepler University, Linz, Austria
Konstantin Korovin   University of Manchester, UK
Ilias Kotsireas      Wilfrid Laurier University, Waterloo, Canada
Laura Kovacs         Vienna University of Technology, Austria
David Monniaux       University of Grenoble, France
Norbert Müller       University of Trier, Germany
Stefan Ratschan      Academy of Sciences of the Czech Republic, Prague, Czech Republic
Martina Seidl        Johannes Kepler University, Linz, Austria
Thomas Sturm         CNRS, Nancy, France and MPI Informatik, Germany

External Reviewers
Changbo Chen         Chinese Academy of Sciences, Beijing, China
Jasper Nalbach       RWTH Aachen University, Germany
Marek Košta          Slovak Academy of Sciences, Bratislava, Slovakia
Thibaut Verron       Johannes Kepler University, Linz, Austria

</pre>