Privacy-Preserving SAT Solving Based on Projection-Equivalence CNF Obfuscation. - Ying Qin; Xiao Yang Shen; Zhen Yue Du (CSS, 2018)