Login / Signup
Are These Pairing Elements Correct? Automated Verification and Applications.
Susan Hohenberger
Satyanarayana Vusirikala
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
automated verification
model checking
automated reasoning
formal verification
temporal logic
expert systems
knowledge representation
graph theory
databases
artificial intelligence
decision making
image processing
bayesian networks
mobile robot
metaheuristic