most citedVerification of a Rust Implementation of Knuth's Dancing Links using ACL2

1 citations

researchers with a paper here

1 paper

cs.LO2023★ 1 cited

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

David S. Hardin

Dancing Links connotes an optimization to a circular doubly-linked list data structure implementation which provides for fast list element removal and restoration. The Dancing Link…