@misc{indiciaedd4e9c7f7a49,
  title = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
  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.1007/978-3-319-42547-4\_3},
  url = {https://arxiv.org/abs/1607.08028},
  note = {Source identifier: 1607.08028}
}