Constraint Solving and Planning with Picat

Sorry, there's nothing here.

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} }