关键词： 冗余子句 冗余文字 无冗余等价子集 可满足性
作者: 翟翠红 秦克云
作者单位: 西南交通大学数学学院,四川,成都,610031
会议类型: 国内会议
会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会
会议地点: 上海
会议语种:中文
页码: 4-5
在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）