@misc{indiciae0ae54cbbc897,
  title = {A CDCL-style calculus for solving non-linear constraints},
  author = {Franz Brauße and Konstantin Korovin and Margarita Korovina and Norbert Th. Müller},
  year = {2019},
  url = {https://arxiv.org/abs/1905.09227},
  note = {Source identifier: 1905.09227}
}