SMT 2020
Satisfiability Modulo Theories 2020

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories
co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020)

Online (initially located in Paris, France), July 5-6, 2020.

Edited by

François Bobot *
Tjark Weber **

* CEA List, Palaiseau, France
** Uppsala University, Uppsala, Sweden

Table of Contents

Invited Talks

Contributed Papers

Presentation-only Papers (Abstracts)

2021-04-13: submitted by Tjark Weber, metadata incl. bibliographic data published under Creative Commons CC0
2021-04-23: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|