2 ms·
Got any ideas of books that address this? I'm generally curious about some frequent problems that pop-up all the time that would be easier solved by some theore
by humean1 4y ago
Got any ideas of books that address this? I'm generally curious about some frequent problems that pop-up all the time that would be easier solved by some theoretical algorithm like an SAT solver.
- taeric 4y agoApologies on the late response. The linked post has links to the SAT challenge. It is a great place to poke around. For books, I have liked A Gentle Introduction to Optimization (https://www.amazon.com/gp/product/1107658799 https://www.amazon.com/gp/product/1107658799) and Knuth's Art of Computer Programming V4 (https://www.amazon.com/Art-Computer-Programming-Fascicle-Satisfiability/dp/0134397606 https://www.amazon.com/Art-Computer-Programming-Fascicle-Sat... or https://www.amazon.com/Art-Computer-Programming-Combinatorial-Information/dp/0201038064 https://www.amazon.com/Art-Computer-Programming-Combinatoria...). I'm not at all clear if there are good courses. Good luck diving on anything fun!