CSPLib
Languages
Picat
References
Picat
Specification
Data files
References
Models
Cite
Edit Page
Download bibtex
[DBLP:journals/corr/Zhou14d]
Neng-Fa Zhou
Combinatorial Search With Picat
CoRR
,
2014
This work is licensed under a Creative Commons Attribution 4.0 International License. This work is licensed under a Creative Commons Attribution 4.0 International License.