- On The Unreasonable Effectiveness of SAT Solvers [PDF] https://www.cs.rice.edu/~vardi/papers/SATSolvers21.pdf 5 comments reverseengineering
Linking pages
- NP-Complete isn't (always) Hard • Hillel Wayne https://www.hillelwayne.com/post/np-hard/ 96 comments
- GitHub - naveenarun/awesome-unreasonable-effectiveness: A list of papers, blog posts, etc. talking about the unreasonable effectiveness of X in Y https://github.com/naveenarun/awesome-unreasonable-effectiveness 1 comment
Related searches:
Search whole site: site:www.cs.rice.edu
Search title: On The Unreasonable Effectiveness of SAT Solvers [PDF]
See how to search.