基于对离散lagrange方法(DLM)的扩充,提出一个分布式SAT求解算法:EDLMSAT.求解过程中,单个Agent的行为由预先定义的EDLM规则所决定......