@misc{indiciae2eab956636d9,
  title = {Satisfiability Checking and Symbolic Computation},
  author = {E. Abraham and J. Abbott and B. Becker and A. M. Bigatti and M. Brain and B. Buchberger and A. Cimatti and J. H. Davenport and M. England and P. Fontaine and S. Forrest and A. Griggio and D. Kroening and W. M. Seiler and T. Sturm},
  year = {2016},
  doi = {10.1145/3055282.3055285},
  url = {https://arxiv.org/abs/1607.06945},
  note = {Source identifier: 1607.06945}
}