Quasi-Cyclic Stern Proof of Knowledge.

Loïc Bidoux Philippe Gaborit Nicolas Sendrier

Published in: CoRR (2021)

Keyphrases

knowledge acquisition
knowledge representation
knowledge base
domain knowledge
knowledge discovery
reinforcement learning
case study
expert systems
knowledge management
higher level
logic programming
semantic web
theorem prover