SMT 2016
Satisfiability Modulo Theories

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories
affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)

Coimbra, Portugal, July 1 - 2, 2016.

Edited by

Tim King *
Ruzica Piskac **

* Google, Inc., Mountain View, CA 94043, USA
** Computer Science Department, Yale University, New Haven, CT 06511, USA

Table of Contents

Invited Talks

Regular Papers

Extended Abstracts

Presentation-only Papers

2016-06-30: submitted by Ruzica Piskac, metadata incl. bibliographic data published under Creative Commons CC0
2016-06-30: published on CEUR-WS.org |valid HTML5|