[taeric]

Apologies 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) and Knuth's Art of Computer Programming V4 (https://www.amazon.com/Art-Computer-Programming-Fascicle-Sat... or 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!