Solution Space Adjustable CNF Obfuscation for Privacy-Preserving SAT Solving | IEEE Conference Publication | IEEE Xplore