Erika Ábrahám, James H. Davenport, Pascal Fontaine, editors, 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. Volume 1804 of CEUR Workshop Proceedings, CEUR-WS.org, 2017. [doi]
Conference: synasc2017
@proceedings{synasc-2016sc,
title = {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},
year = {2017},
url = {http://nbn-resolving.de/urn:nbn:de:0074-1804-0},
researchr = {https://researchr.org/publication/synasc-2016sc},
cites = {0},
citedby = {0},
booktitle = {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},
conference = {synasc},
editor = {Erika Ábrahám and James H. Davenport and Pascal Fontaine},
volume = {1804},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}