A conflict-free approach for parallelizing SAT-based de-camouflaging attacks. - Wang, Xueyan; Zhou, Qiang; Cai, Yici; Qu, Gang (2018)