Operations Research

Set of techniques that finds the best possible decisions to solve complex problems.

OR-Tools: CP-SAT Manual
Book

OR-Tools: CP-SAT Manual

CP-SAT Manual: Using and Understanding Google's CP-SAT Solver from OR-Tools (Dominik Krupke in the Algorithm Division at TU Braunschweig)