基于量化布尔公式的条件规划编码方式

• 作者: 吕帅 张长海 高冰冰
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 条件规划 不确定性规划 量化布尔公式 编码
• 年，卷（期）: 2010,（11）
• 页码范围: 252-256,281
• 分类号: TP181
• 字数: 8932字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.11.060

摘要

介绍条件规划问题及其相关的求解系统,着重分析以逻辑为基础的编码方式.针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码.最后,对这3种编码进行比较,分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣,讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
2	张长海	吉林大学计算机科学与技术学院	25	222	8.0	14.0
3	高冰冰	吉林大学计算机科学与技术学院	1	0	0.0	0.0