ppSAT: Towards Two-Party Private SAT Solving.

Ning Luo Samuel Judson Timos Antonopoulos Ruzica Piskac Xiao Wang

Published in: USENIX Security Symposium (2022)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
privacy preserving
orders of magnitude
constraint programming