Non-Transitive Transfer of Confidence: A Perfect Zero-Knowledge Interactive Protocol for SAT and Beyond
Gilles BrassardClaude CrépeauPublished in: FOCS (1986)
Keyphrases
- knowledge transfer
- knowledge representation
- domain knowledge
- user friendly
- virtual reality
- user interaction
- knowledge base
- lightweight
- knowledge based systems
- knowledge acquisition
- learning algorithm
- knowledge discovery
- learning systems
- prior knowledge
- expressive power
- search algorithm
- transitive closure
- boolean satisfiability