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

Aachen, Germany / RWTH Aachen (2017) [Buch, Tagungsband]

1st Workshop on Satisfiability Checking and Symbolic Computation Timişoara 2016-09-24 - 2016-09-24
Seite(n): 1 Online-Ressource : Illustrationen

Autorinnen und Autoren

Autorinnen und Autoren

Ábrahám, Erika
Davenport, James H.
Fontaine, Pascal

Identifikationsnummern

  • URN: urn:nbn:de:0074-1804-0
  • REPORT NUMBER: RWTH-2018-01199