Constraint solving and planning with Picat. (2015) - Zhou, Neng-Fa; Kjellerstrand, Håkan; Fruhman, Jonathan
No abstract available