基于离散Lagrange方法的分布式SAT问题求解

作     者：唐屹 

作者机构：中山大学数学系 

基　　金：国家自然科学基金资助项目(10071097) 

出 版 物：《中山大学学报（自然科学版）》 (Acta Scientiarum Naturalium Universitatis Sunyatseni)

年 卷 期：2003年第42卷第6期

页      码：8-10,18页

摘      要：基于对离散Lagrange方法(DLM)的扩充,提出一个分布式SAT求解算法:EDLMSAT。求解过程中,单个Agent的行为由预先定义的EDLM规则所决定,这些局部的行为聚集起来,形成整个系统对问题的求解趋势。设计了一些对3＿SAT基准问题的模拟实验,实验结果表明了这个算法良好的求解性能。

主 题 词：离散Lagrange方法 分布式SAT 求解 可满足性问题 人工智能 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 081104[081104] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:0529-6579.2003.06.003

馆 藏 号：203109664...