Proving UNSAT in Zero Knowledge.

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

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

Keyphrases

domain knowledge
knowledge extraction
knowledge acquisition
databases
knowledge based systems
higher level
knowledge sharing
raw data
database
objective function
knowledge representation
knowledge management
orders of magnitude
knowledge sources
subject matter