ppSAT: Towards Two-Party Private SAT Solving.

Ning Luo Samuel Judson Timos Antonopoulos Ruzica Piskac Xiao Wang

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

sat solving
sat solvers
boolean satisfiability
privacy preserving
sat problem
max sat
objective function
optimal solution
constraint satisfaction
decision problems
sat encodings
boolean optimization