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!

https://www.amazon.com/dp/0201038064

A copy personally autographed by Knuth will be up for auction in the Gathering For Gardner fund raiser.

* The Art of Computer Programming, Volume 4B: Combinatorial Algorithms, Part 2

* https://www.amazon.com/Art-Computer-Programming-Combinatoria...