Vol-1617
urn:nbn:de:0074-1617-8




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|