))
Verification of a Rust Implementation of Knuth’s Dancing Links Using ACL2: Related Work
Manage episode 422692185 series 3474159
Content provided by HackerNoon. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by HackerNoon or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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.
262 episodes
Share
