ppSAT: Towards Two-Party Private SAT Solving

Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang. ppSAT: Towards Two-Party Private SAT Solving. IACR Cryptology ePrint Archive, 2021:1584, 2021. [doi]

Abstract

Abstract is missing.