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.