回溯算法的形式模型
회소산법적형식모형
FORMAL MODEL OF BACKTRACKING ALGORITHMS
저자의 최근 논문