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.
Erika Ábrahám Anna M. Bigatti Matthew England Pascal Fontaine Vijay Ganesh Alberto Griggio Marijn J. H. Heule Ahmed Irfan Dejan Jovanovic Manuel Kauers Konstantin Korovin Ilias Kotsireas Laura Kovacs David Monniaux Norbert Müller Stefan Ratschan Martina Seidl Thomas Sturm External Reviewers