Constraint Solving and Planning with Picat

Cite this paper

@inproceedings{Zhou2015ConstraintSA, title={Constraint Solving and Planning with Picat}, author={Neng-Fa Zhou and H{\aa}kan Kjellerstrand and Jonathan Fruhman}, booktitle={Springer Briefs in Intelligent Systems}, year={2015} }