By analyzing translation based planning methods,whose targets are quantified boolean formulas,it introduced three different forms of quantified boolean formula encodings.
针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码。
参考来源 - 基于量化布尔公式的条件规划编码方式·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐