Erika Ábrahám, Pascal Fontaine, Thomas Sturm 0001, Dongming Wang. Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Dagstuhl Reports, 5(11):71-89, 2015. [doi]
@article{AbrahamF0W15,
title = {Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)},
author = {Erika Ábrahám and Pascal Fontaine and Thomas Sturm 0001 and Dongming Wang},
year = {2015},
doi = {10.4230/DagRep.5.11.71},
url = {http://dx.doi.org/10.4230/DagRep.5.11.71},
researchr = {https://researchr.org/publication/AbrahamF0W15},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {71-89},
}