一阶逻辑中约束求解的局部搜索法

• Local Search Methods for Constraint Solving in First-Order Logic