%0 Journal Article
%T 一阶逻辑中约束求解的局部搜索法*
%A 张　健
%J -
%D 1998
%X 以一阶谓词逻辑为基础,讨论约束满足问题.着重研究一阶逻辑公式可满足性的局部搜索法,并与命题逻辑中的可满足性过程加以比较.以皇后问题和哈密顿回路问题为例,说明基于一阶逻辑的方法能处理较大的问题实例
%K 约束满足问题
%K 一阶谓词逻辑
%K 局部搜索.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19980807&flag=1