1. Алгебраический подход и Constraint Programming. Unit Propagation. CDCL алгоритм
2. SAT и связанные задачи: CP, SMT, MAX-SAT
3. Солверы: CP-солвер (cp-sat, cplex-cp), SMT-солвер, MAX-SAT-солвер
4. Преимущества алгебраических методов
5. Функциональность и возможности CP-SAT
6. Практика использования CP-SAT