Local Search Methods for Constraint Solving in First-Order Logic

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