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.
I'm not at all clear if there are good courses. Good luck diving on anything fun!