Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Peter J. Stuckey (Springer, 2021)