Login / Signup
Post-quantum Efficient Proof for Graph 3-Coloring Problem.
Ehsan Ebrahimi
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
artificial intelligence
theorem prover
decision making
real time
real world
computer vision
knowledge base
bayesian networks
cost effective
computationally expensive