Journal of symbolic computation. 1994;18(1):1-40. doi: 10.1006/jsco.1994.1035 Q21.12025
A Multipurpose Backtracking Algorithm
DOI: 10.1006/jsco.1994.1035
摘要 查看摘要
Journal of symbolic computation. 1994;18(1):1-40. doi: 10.1006/jsco.1994.1035 Q21.12025
DOI: 10.1006/jsco.1994.1035
摘要 查看摘要