期刊文章详细信息
求解SAT问题的拟物拟人算法—Solar
文献类型：期刊文章
机构地区：[1]华中理工大学计算机系,武汉430074
基 金：国家"八六三"高科技计划;国家自然科学基金;数学天元基金资助项目
年 份：1997
卷 号：27
期 号：2
起止页码：179-186
语 种：中文
收录情况：CSCD、CSCD2011_2012、JST、普通刊
摘 要：利用拟物与拟人的方法,为合取范式可满足性问题的高效率近似求解得出了继承策略、新路策略和赦免策略,然后对著名的Bart Selman跳坑策略给出了一个直观解释.综合这些策略得出了一个新的求解算法——Solar.
关 键 词：合取范式 拟物法 拟人法 计算机算法 SAT
分 类 号：TP301.6]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
