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|