Structure-aware CNF obfuscation for privacy-preserving SAT solving.

Ying Qin, ShengYu Shen, Yan Jia

Browse the full MEMOCODE paper archive.