Vol-3185
urn:nbn:de:0074-3185-4




SMT 2022
Satisfiability Modulo Theories 2022


Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories
co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022)
part of the 8th Federated Logic Conference (FLoC 2022)

Haifa, Israel, August 11-12, 2022.


Edited by

David Déharbe *
Antti E. J. Hyvärinen **

* CLEARSY, Aix-en-Provence, France
** Università della Svizzera italiana, Faculty of Informatics, Lugano, Switzerland





Table of Contents


Invited Talks

Regular Papers

Extended Abstracts

Presentation-Only Papers (Abstracts)

Presentation-Only Papers (References)


2022-08-09: submitted by David Déharbe, metadata incl. bibliographic data published under Creative Commons CC0
2022-08-14: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|