Login / Signup
Deterministic Proof Of Work.
Zhuan Cheng
Gang Wu
Hao Wu
Muxing Zhao
Liang Zhao
Qingfeng Cai
Published in:
CoRR (2018)
Keyphrases
</>
theorem prover
three dimensional
theorem proving
data sets
information retrieval
multiscale
black box
real time
machine learning
decision making
objective function
proof theory