Ying Qin, Xiao Yang Shen, Zhen Yue Du. Privacy-Preserving SAT Solving Based on Projection-Equivalence CNF Obfuscation. In Arcangelo Castiglione, Florin Pop, Massimo Ficco, Francesco Palmieri, editors, Cyberspace Safety and Security - 10th International Symposium, CSS 2018, Amalfi, Italy, October 29-31, 2018, Proceedings. Volume 11161 of Lecture Notes in Computer Science, pages 224-239, Springer, 2018. [doi]
Abstract is missing.