Parallelizing SMT solving: Lazy decomposition and conciliation

@article{Cheng2018ParallelizingSS,
  title={Parallelizing SMT solving: Lazy decomposition and conciliation},
  author={Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jia-Guang Sun},
  journal={Artif. Intell.},
  year={2018},
  volume={257},
  pages={127-157}
}