Proving UNSAT in Zero Knowledge.

Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang

Browse the full CCS paper archive.