Constraint Solving and Planning with Picat: SpringerBriefs in Intelligent Systems
Constraint solving is a powerful technique for solving problems that involve finding a set of values that satisfy a set of constraints. Planning is a related technique that is used to find a sequence of actions that...