Verification of a Rust Implementation of Knuth's Dancing Links using ACL2.

David S. Hardin

Published in: CoRR (2023)

Keyphrases

model checking
data sets
database
real world
information retrieval
knowledge base
website
database systems
artificial neural networks
general purpose
hardware implementation
link analysis