Download bibtex

[DBLP:journals/corr/Zhou14d]
Neng-Fa Zhou
Combinatorial Search With Picat
CoRR, 2014