Parallelizing SMT solving: Lazy decomposition and conciliation

Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu 0001, Jiaguang Sun. Parallelizing SMT solving: Lazy decomposition and conciliation. Artificial Intelligence, 257:127-157, 2018. [doi]

Abstract

Abstract is missing.