A conflict-free approach for parallelizing SAT-based de-camouflaging attacks.

Xueyan Wang, Qiang Zhou, Yici Cai, Gang Qu

Browse the full ASPDAC paper archive.