Some tips and tricks for the CP-SAT solver. ...
Overview of the CP-SAT solver from Google OR-Tools ...