Vol-1804
urn:nbn:de:0074-1804-0




SC-Square 2016
Satisfiability Checking and Symbolic Computation


Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation
co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016)

Timisoara, Romania, September 24, 2016.


Edited by

Erika Ábrahám, RWTH Aachen University, Germany
James H. Davenport, University of Bath, United Kingdom
Pascal Fontaine, Loria, INRIA, University of Lorraine, France





Table of Contents


2017-03-02: submitted by Pascal Fontaine, metadata incl. bibliographic data published under Creative Commons CC0
2017-03-02: published on CEUR-WS.org |valid HTML5|