Constraint Solving

Using constraint solvers (SAT, SMT, CP, MIP) and tools like MiniZinc, Z3, and OR-Tools to model and solve optimization and satisfaction problems declaratively.

Reading List