• 斯卡莫

• 1篇参考文献[ SW0835]
• 服务像这样的一些方法人工智能-规划已经提出了解决这个问题…尽管重要性人工智能-规划Web服务组合技术，以前的工作是…

• BWAPI

• 1篇参考文献[SW2671]
• 写竞争非作弊自动识别系统那必须计划并在部分信息条件下运行。BWAPI…在游戏中控制游戏单元人工智能正在玩耍。这些默认值可以更改…

• 我想

• 1篇参考文献[SW33 221]
• 古典图书馆规划在电子游戏中。学术人工智能（学术人工智能）人工智能技术最近开始了…商业视频游戏。特别是古典规划指定目标导向行为的方法有…

• 数学基础

• 2篇参考文献[SW26504]
• 推理的机器学习方法规划. 在它里面，我们创造了10个简单的游戏。他们总是在比赛中击败对手人工智能…

• 辅酶Q

• 1748篇参考文献[SW0161]
• COQ是一种形式化的证明管理系统。IT

• 超小卫星

• 520篇参考文献[SW0577]
• 一个可扩展的SAT求解器。MiSISAT是一个极简主义…

• 挑剔

• 54篇参考文献[SW0622]
• NITPICK是伊莎贝尔/霍尔的反例发生器。

• 帕拉米尔

• 66篇参考文献[SW0688]
• PARAMILS：一种自动算法配置框架。鉴定…

• TSPLIB

• 653篇参考文献[SW0983]
• TSPLIB是一个样本实例库，用于…

• 辛普斯

• 29篇参考文献[SW01081]
• SimScript。模拟编程语言。SimScript是…

• 马赛玛

• 714篇参考文献[ SW0120 9]
• MySyMA是一个通用的符号数值图形。

• 重新规划

• 9篇参考文献[SW01619]
• 在大多数真实世界的推理问题中，规划还有…

• 果洛

• 168篇参考文献[SW02159]
• GOOG:动态域的逻辑程序设计语言

• 铲子

• 87篇参考文献[SW02226]
• 在本文中，我们提出铲，一个新的…

• 吸血鬼

• 229篇参考文献[SW0918]
• 吸血鬼8，[RV02，Vo05]是一个自动定理…

• 爆炸

• 123篇参考文献[SW09337 ]
• BLAST（伯克利懒惰抽象软件验证工具）是…

• 自旋

• 699篇参考文献[SW0345 5]
• SIP是一种流行的开源软件工具。

• CPLEX

• 2489篇参考文献[SW04082]
• IBM®ILOG®CPLEX®提供C、C++、Java、.NET…

• 努斯莫

• 288篇参考文献[SW04131]
• NUSMV是一个符号模型检查器开发…

• 阿巴奎斯

• 1389篇参考文献[SW04215]
• ABAQUS统一的FEA产品套件提供了强大的…