马丁·亨兹 罗兰·雅普 林云芳（Yun Fong Lim） 芦见冲 J.保罗·瓦尔泽 史小平 用局部搜索求解有限域上的层次约束。 283-302 2004 40 安。数学。Artif公司。智力。 3-4 https://doi.org/10.1023/B:AMAI.0000012870.93810.37 db/journals/amai/amai40.html#HenzYFCWP04