Bridging two communities to solve real problems : SC2 2016 : First Workshop on Satisfiability Checking and Symbolic Computation : FETOPEN-CSA SC2 Workshop 1 : September 24, 2016 : affiliated with the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016) : Timisoara, Romania

Ábrahám, Erika (Editor); Davenport, James H. (Editor); Fontaine, Pascal (Editor)

Aachen, Germany : RWTH Aachen (2017)
Book, Proceedings

In: CEUR workshop proceedings 1804
Page(s)/Article-Nr.: 1 Online-Ressource : Illustrationen

Institutions

• Department of Computer Science [120000]
• Theory of Hybrid Systems Research Group [123420]