基于动态值启发式的约束满足求解算法

王孜文,，李占山,+，艾阳,，李宏博,

Algorithm for solving constraint satisfaction problems based on dynamic value ordering heuristic

WANG Zi-wen,, LI Zhan-shan,+, AI Yang,, LI Hong-bo,

. 2011, (04): 0 -0 .