| Vol-3458 urn:nbn:de:0074-3458-5 Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 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 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

- Preface
  Summary: There were 6 papers submitted for peer-review to this workshop and all were accepted after the reviewing process.

### Contributed Papers

- Cylindrical Algebraic Coverings for Quantifiers (short paper) 1–9
  Gereon Kremer, Jasper Nalbach
- SMT-Solving Induction Proofs of Inequalities 10–24
  Ali Kemal Uncu, James H. Davenport, Matthew England
- Decidability of difference logics with unary predicates 25–36
  Bernard Boigelot, Pascal Fontaine, Baptiste Vergain
- Automatic Deployment of Component-based Applications in the Cloud (short paper) 37–44
  Bogdan David, Madalina Erascu
- Enumerating Projective Planes of Order Nine with Proof Verification 45–54
  Daniel Dallaire, Curtis Bright
- An SC-Square Approach to the Minimum Kochen–Specker Problem 55–66
  Zhengyu Li, Curtis Bright, Vijay Ganesh

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|