Verification of a Rust Implementation of Knuth’s Dancing Links Using ACL2: Related Work

This story was originally published on HackerNoon at: https://hackernoon.com/verification-of-a-rust-implementation-of-knuths-dancing-links-using-acl2-related-work.

In this paper, researchers describe an implementation of the Dancing Links optimization in the Rust programming language.

Check more stories related to programming at: https://hackernoon.com/c/programming.
You can also check exclusive content about #rust, #dancing-links, #art-of-computer-programming, #dancing-links-optimization, #acl2-theorem-prover, #co-assurance-language, #restricted-algorithmic-c, #restricted-algorithmic-rust, and more.




This story was written by: @gitflow. Learn more about this writer by checking @gitflow's about page,
and for more stories, please visit hackernoon.com.





In this paper, researchers describe an implementation of the Dancing Links optimization in the Rust programming language.