求合取范式可满足性问题全部解的一个算法

摘要：

本文提出了把SAT问题转化为多项式问题,求解SAT问题的全部解集合的方法,通过执行Maple程序来实现.该方法能够得到SAT问题的全部解集合.

关键词： 合取范式 可满足性问题 多项式

作者: 曾振柄

作者单位: 中国科学院成都计算机应用研究所自动推理实验室(成都)

会议类型: 国内会议

会议名称: 2002年全国理论计算机科学学术年会

会议地点: 长沙

会议语种:中文

页码: 152-154

在线出版日期: 2002-10-01（万方平台首次上网日期，不代表论文的发表时间）