%0 Journal Article
%T Local Search Methods for Constraint Solving in First-Order Logic<br>一阶逻辑中约束求解的局部搜索法
%A ZHANG Jian
%A <br>张健
%J 软件学报
%D 1998
%I 
%X In this paper, the author discusses constraint satisfaction problems in the framework of first-order logic. Local search methods for satisfying first-order formulas are studied, and compared with satisfiability procedures in the propositional logic. Experimental results on the Queens problem and the Hamiltanian circuit problem show that the framework is suitable for dealing with quite large problem instances.
%K Constraint satisfaction problems
%K first-order predicate logic
%K local search<br>约束满足问题
%K 一阶谓词逻辑
%K 局部搜索.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=74C6650D54A62D80&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=5D311CA918CA9A03&sid=4720E9D07E8A2290&eid=1D5555D0B4345CA8&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=11