Constraint solving and planning with Picat. (2015) - Zhou, Neng-Fa
No abstract available