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 **