@article{801b9a0a87e143ab9b740ee08415abe4,
title = "Satisfiability Checking and Symbolic Computation",
author = "Erika Abraham and John Abbott and Bernd Becker and Bigatti, {Anna Maria} and Martin Brain and Bruno Buchberger and Alessandro Cimatti and James Davenport and Matthew England and Pascal Fontaine and Stephen Forrest and Alberto Griggio and Daniel Kr{\"o}ning and Seiler, {Werner M.} and Thomas Sturm",
year = "2017",
doi = "10.1145/3055282.3055285",
language = "English",
volume = "50",
pages = "145--147",
journal = "ACM Communications in Computer Algebra",
issn = "1932-2240",
publisher = "Association for Computing Machinery, New York, NY, USA",
number = "4",
}