DPT（DPT） swMATH ID: 28225 软件作者： A.Goel、J.Grundy。 描述： 决策程序工具包（DPT）是一个用于回答可满足性查询的协同决策程序系统。OCaml中的DPT实现包括一个具有理论特定决策程序的DPLL型SAT解算器。DPT作为OCaml源代码从SourceForge.net获得* 主页： http://dpt.sourceforge.net/ 相关软件： 焦点；SMT-LIB公司；自动参照；超小卫星；强制性精炼；SAT解算器验证；化身；存档正式证据；完备性定理；IsaFoL公司；区域设置；versat公司；大锤；糠；z3（零3）；伊萨尔；VAMPIRE公司；伊莎贝尔/HOL；简化 引用于： 3文件 全部的 前5名9位作者引用 2 富克斯，亚历山大 2 阿米特·戈尔 2 吉姆，格兰迪 2 萨瓦·A·克里斯蒂。 2 塞萨尔·蒂内利 1 贾斯敏·克里斯蒂安·布兰切特 1 马蒂亚斯·弗勒里 1 彼得·兰米奇 1 克里斯托夫·韦登巴赫 2篇连载文章中引用 1 自动推理杂志 1 计算机科学中的逻辑方法 在2个字段中引用 2 数理逻辑与基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文