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