References
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.