CEUR-WS.org/Vol-3458 - 7th Satisfiability Checking and Symbolic Computation Workshop 2022

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

University of Bath

Johann Radon Institute for Computational and Applied Mathematics

Universidade Federal de Minas Gerais

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|

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.

Ali Kemal Uncu *
Haniel Barbosa **

Table of Contents

Contributed Papers

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.

Ali Kemal Uncu * Haniel Barbosa **

Table of Contents

Contributed Papers

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)

Ali Kemal Uncu *
Haniel Barbosa **