Constraint Solving and Planning with Picat - Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan (Springer International Publishing : Imprint: Springer, 2015)