Integration of Constraint Programming, Artificial Intelligence, and Operations Research / Willem-Jan van Hoeve - Hoeve, Willem-Jan van