Login / Signup
Efficient Arguments and Proofs for Batch Arithmetic Circuit Satisfiability.
Jieyi Long
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
neural network
computationally efficient
real time
decision procedures
data sets
computational complexity
logic programs
np complete