Login / Signup
Logical Pseudocode: Connecting Algorithms with Proofs.
Keehang Kwon
Hyung-Joon Kwon
Published in:
CoRR (2022)
Keyphrases
</>
databases
computational cost
database
learning algorithm
artificial intelligence
significant improvement
np hard
computationally efficient
classification algorithm
computationally expensive
recently developed
probabilistic logic