Hacker News
- Using SAT to Get the World Record on LinkedIn's Queens https://ryanberger.me/posts/queens/ 0 comments
Lobsters
- Using SAT to Get the World Record on LinkedIn's Queens https://ryanberger.me/posts/queens/ 23 comments compsci , math
- Using SAT to Get the World Record on LinkedIn's Queens https://ryanberger.me/posts/queens/ 0 comments programming
Linked pages
- The world’s fastest framework for building websites |Hugo http://gohugo.io/ 396 comments
- Boolean satisfiability problem - Wikipedia http://en.wikipedia.org/wiki/Boolean_satisfiability_problem 45 comments
- Eight queens puzzle - Wikipedia http://en.wikipedia.org/wiki/Eight_queens_puzzle 25 comments
- Conflict-driven clause learning - Wikipedia https://en.wikipedia.org/wiki/Conflict-Driven_Clause_Learning 0 comments
- GitHub - adityatelange/hugo-PaperMod: A fast, clean, responsive Hugo theme. https://github.com/adityatelange/hugo-PaperMod 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:ryanberger.me
Search title: Using SAT to Get the World Record on LinkedIn's Queens | Ryan Berger's Page
See how to search.