Satisfiability checking and symbolic computation

Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001. Satisfiability checking and symbolic computation. ACM Comm. Computer Algebra, 50(4):145-147, 2016. [doi]

@article{AbrahamA0BBBCDE16,
  title = {Satisfiability checking and symbolic computation},
  author = {Erika Ábrahám and John Abbott and Bernd Becker 0001 and Anna Maria Bigatti and Martin Brain and Bruno Buchberger and Alessandro Cimatti and James H. Davenport and Matthew England and Pascal Fontaine and Stephen Forrest and Alberto Griggio and Daniel Kroening and Werner M. Seiler and Thomas Sturm 0001},
  year = {2016},
  doi = {10.1145/3055282.3055285},
  url = {http://doi.acm.org/10.1145/3055282.3055285},
  researchr = {https://researchr.org/publication/AbrahamA0BBBCDE16},
  cites = {0},
  citedby = {0},
  journal = {ACM Comm. Computer Algebra},
  volume = {50},
  number = {4},
  pages = {145-147},
}