Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen.

Xavier Bultel Jannik Dreier Jean-Guillaume Dumas Pascal Lafourcade

Published in: CoRR (2016)

Keyphrases

expert systems
domain knowledge
knowledge representation
knowledge extraction
knowledge discovery
knowledge based systems
data sets
neural network
knowledge base
prior knowledge
domain experts
design process
raw data
human beings