Yang,Kai(杨凯);田聪;张楠;段振华;杜洪伟 用于规划的时序逻辑编程方法。 (英语) Zbl 1419.68101号 J.库姆。最佳方案。 38,编号2,402-420(2019).MSC公司:68分20秒 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.Yang}等人,J.Comb。优化。38,第2号,402--420(2019;Zbl 1419.68101) 全文: 内政部
罗玲;段振华;田聪;王晓兵 从p-(\pi)到MSVL的结构转换。 (英语) Zbl 1315.68182号 J.库姆。最佳方案。 29,第1期,308-329(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Luo}等人,J.Comb。优化。29,编号1308-329(2015;兹bl 1315.68182) 全文: 内政部
田聪;段振华;杨梦飞 通过NFG从PLTL转换为自动化。 (英语) Zbl 1319.68144号 J.库姆。最佳方案。 29,第2期,406-417(2015).MSC公司:60年第68季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人,J.Comb。优化。29,第2号,406--417(2015;Zbl 1319.68144) 全文: 内政部
马,钱;段振华 基于MSVL的线性时间相关约束规划。 (英语) Zbl 1298.68253号 J.库姆。最佳方案。 27,第4期,724-766(2014). 审核人:K.Subramani(西弗吉尼亚州摩根镇) MSC公司:68分20秒 68N17号 03B44号 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{Q.Ma}和\textit{Z.Duan},J.Comb。优化。27,第4号,724--766(2014;Zbl 1298.68253) 全文: 内政部