Solution Space Adjustable CNF Obfuscation for Privacy-Preserving SAT Solving.
Ying QinYan DingYusong TanQingbo WuPublished in: ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Keyphrases
- sat solving
- solution space
- privacy preserving
- data transformation
- sat solvers
- search space
- simulated annealing
- privacy preserving data mining
- vertically partitioned data
- sat problem
- privacy preservation
- metaheuristic
- optimal solution
- data privacy
- boolean satisfiability
- privacy protection
- feasible solution
- sensitive information
- sensitive data
- orders of magnitude
- max sat
- symmetry breaking
- private information
- clause learning
- privacy concerns
- sat instances
- np complete
- combinatorial problems
- optimization problems
- heuristic search