@misc{indiciae6547897af858,
  title = {Incomplete SMT Techniques for Solving Non-Linear Formulas over the Integers},
  author = {Cristina Borralleras and Daniel Larraz and Albert Oliveras and Enric Rodriguez-Carbonell and Albert Rubio},
  year = {2020},
  url = {https://arxiv.org/abs/2008.13601},
  note = {Source identifier: 2008.13601}
}