Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Willem-Jan van Hoeve (Springer, 2018)