Proving UNSAT in Zero Knowledge

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 07, 2022
Source ID
10.1145/3548606.3559373

Entities

People

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

Organizations

  • Columbia University
  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • Northwestern University
  • Office of Naval Research
  • Yale University