图规划 176篇文献引用(1991–2023) 软件作者： Blum，Avrim L.公司。；梅里克·弗斯特。 相关软件： 步行卫星；PDDL；STAN… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
VHPOP（VHPOP） 10篇文献引用(2003–2021) 软件作者： Younes，H.L.S。；R.G.西蒙斯。 相关软件： 图形平面图；PDDL；UCPOP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PPlan（PPlan） 2份文件引用(2011–2020) 软件作者： Bienvenu，M。；弗里茨，C。；Sohrabi，S。；南卡罗来纳州麦克莱思。 相关软件： MiniSat；nuXmv；Walksat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）