1) CP Optimizer is a modeling language that extends ILP and CP with interval variables and functions, allowing compact formulations for scheduling problems. It uses an automatic search algorithm that is complete, anytime, efficient, and scalable.
2) Performance improvements in the upcoming CP Optimizer 12.9 release allow it to solve classical RCPSP benchmarks quickly and address much larger instances with up to 500,000 tasks.
3) The automatic search employs techniques like failure-directed search, large neighborhood search, and iterative diving to cooperate and solve problems faster.