Constraint Solving and Planning with Picat - Zhou, Neng-Fa (Springer International Publishing, 2015)