计算机科学 ›› 2010, Vol. 37 ›› Issue (11): 252-256.
高冰冰,张长海,吕帅
GAO Bing-bing,ZHANG Chang-hai,LU Shuai
摘要: 介绍条件规划问题及其相关的求解系统,着重分析以逻辑为基拙的编码方式。针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码。最后,对这3种编码进行比较,分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣,讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。
No related articles found! |
|