军事任务计划建模与优化方法

本书研究基于约束满足(SAT)理论的任务不确定军事行动方案生成问题建模与求解方法,提出了一种基于P/A网络...

2019.5