https://sat-smt.codes/main.html https://sat-smt.codes/main.html is a good introduction to applying SMT to many kinds of problems. https://rise4fun.com/ https:/

https://sat-smt.codes/main.html https://sat-smt.codes/main.html is a good introduction to applying SMT to many kinds of problems. https://rise4fun.com/ https://rise4fun.com/ for all sorts of examples of what these sorts of algorithms can solve. https://www.coursera.org/learn/discrete-optimization https://www.coursera.org/learn/discrete-optimization is a good introduction to constraint optimization, local search, linear programming, and mixed integer programming.