Hacker News
Linking pages
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- GitHub - hugomg/hexiom: SAT-based solver for the Hexiom logic puzzle https://github.com/hugomg/hexiom 13 comments
- Verification Competitions – Alastair Reid – Researcher at Intel https://alastairreid.github.io/verification-competitions/ 12 comments
- Anaconda | Understanding and Improving Conda's performance https://www.anaconda.com/understanding-and-improving-condas-performance/ 0 comments
- Emina Torlak: A Primer on Boolean Satisfiability https://homes.cs.washington.edu/~emina/blog/2017-06-23-a-primer-on-sat.html 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Solving a Hamiltonian Path Problem with a bacterial computer - PMC http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2723075/ 0 comments
- GitHub - sumitomo72/Dynex-Neuromorphic-Chip: Digital Memcomputing Machine (DMM) based SAT-Solver https://github.com/sumitomo72/Dynex-Neuromorphic-Chip 0 comments
- Machine Reasoning: The forgotten side of AI https://btmc.substack.com/p/machine-reasoning-the-forgotten-side 0 comments
Related searches:
Search whole site: site:www.satcompetition.org
Search title: SAT Competitions
See how to search.