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

Ying Qin, ShengYu Shen, Yan Jia (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics