Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th SC-Square@FLoC 2022: Haifa, Israel
- Ali Kemal Uncu, Haniel Barbosa:
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. CEUR Workshop Proceedings 3458, CEUR-WS.org 2023
Contributed Papers
- Gereon Kremer, Jasper Nalbach
:
Cylindrical Algebraic Coverings for Quantifiers (short paper). 1-9 - Ali Kemal Uncu, James H. Davenport, Matthew England:
SMT-Solving Induction Proofs of Inequalities. 10-24 - Bernard Boigelot, Pascal Fontaine, Baptiste Vergain:
Decidability of difference logics with unary predicates. 25-36 - Bogdan David, Madalina Erascu:
Automatic Deployment of Component-based Applications in the Cloud (short paper). 37-44 - Daniel Dallaire, Curtis Bright:
Enumerating Projective Planes of Order Nine with Proof Verification. 45-54 - Zhengyu Li, Curtis Bright, Vijay Ganesh:
An SC-Square Approach to the Minimum Kochen-Specker Problem. 55-66
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-21 22:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
