Sign in
SC-Square@FLoC
2022
2023
2022
2023
Keyphrases
Publications
volume 3458, 2023
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.
SC-Square@FLoC
3458 (2023)
2022
Zhengyu Li
,
Curtis Bright
,
Vijay Ganesh
An SC-Square Approach to the Minimum Kochen-Specker Problem.
SC-Square@FLoC
(2022)
Bogdan David
,
Madalina Erascu
Automatic Deployment of Component-based Applications in the Cloud (short paper).
SC-Square@FLoC
(2022)
Daniel Dallaire
,
Curtis Bright
Enumerating Projective Planes of Order Nine with Proof Verification.
SC-Square@FLoC
(2022)
Ali Kemal Uncu
,
James H. Davenport
,
Matthew England
SMT-Solving Induction Proofs of Inequalities.
SC-Square@FLoC
(2022)
Bernard Boigelot
,
Pascal Fontaine
,
Baptiste Vergain
Decidability of difference logics with unary predicates.
SC-Square@FLoC
(2022)
Gereon Kremer
,
Jasper Nalbach
Cylindrical Algebraic Coverings for Quantifiers (short paper).
SC-Square@FLoC
(2022)