1. Constraint solving and planning with Picat. (2015) Authors: Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan Record Type: Book Extent: 1 online resource (xi, 148 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗