Proving UNSAT in Zero Knowledge.

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

Published in: CCS (2022)

Keyphrases

knowledge representation
domain knowledge
decision trees
machine learning
knowledge base
expert systems
knowledge based systems
knowledge acquisition
knowledge transfer
real time
knowledge sharing
higher level
knowledge discovery
evolutionary algorithm
image sequences
e learning
social networks