Solution Space Adjustable CNF Obfuscation for Privacy-Preserving SAT Solving.

Ying Qin, Yan Ding, Yusong Tan, Qingbo Wu

Browse the full ISPA paper archive.