%0 Journal Article
%T 一种约简动作变元的命题规划编码方式
%A 吕帅  刘磊  江鸿  史晶晶
%J -
%D 2010
%X 基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系..
%K [智能规划
%K 基于可满足性的规划
%K 编码方式
%K 可满足性
%K 公理
%K intelligent planning
%K planning as satisfiability
%K encoding method
%K satisfiability
%K axiom]
%U http://crad.ict.ac.cn/CN/Y2010/V47/I10/1756