SC-Square 2022
Satisfiability Checking and Symbolic Computation 2022

Proceedings of the 7th SC-Square Workshop
co-located with the Federated Logic Conference 2022 (FLoC 2022) as a part of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022)

Haifa, Israel, August 12, 2022.

Edited by

Ali Kemal Uncu *
Haniel Barbosa **

* University of Bath, Department of Computer Science, Bath, United Kingdom & Johann Radon Institute for Computational and Applied Mathematics of the Austrian Academy of Sciences, Linz, Austria
** Universidade Federal de Minas Gerais, Department of Computer Science, Belo Horizonte, Brazil

Table of Contents

Contributed Papers

2023-07-14: submitted by Ali Kemal Uncu, metadata incl. bibliographic data published under Creative Commons CC0
2023-08-19: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|