基于整数规划tableau方法

摘要：

由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑.将tableau转化为IP方法后,可以采用许多提高IP效率的方法.另外在多值逻辑中,随着n值的增加,IP问题不会变得更加复杂.

关键词： 整数规划 IP-tableau 一阶逻辑 多值逻辑 无穷值逻辑

作者: 刘全 孙吉贵 于万钧

作者单位: 苏州大学计算机科学与技术学院,苏州,215006;吉林大学计算机科学与技术学院,长春,130012 吉林大学计算机科学与技术学院,长春,130012

会议类型: 国内会议

会议名称: 2005年中国模糊逻辑与计算智能联合学术会议

会议地点: 深圳

会议语种:中文

页码: 9-12

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