Integrating Algebraic and SAT Solvers

@inproceedings{Horcek2017IntegratingAA,
  title={Integrating Algebraic and SAT Solvers},
  author={Jan Hor{\'a}cek and Jan Burchard and Bernd Becker and Martin Kreuzer},
  booktitle={MACIS},
  year={2017}
}