DyPrimx

动态编程论证推理工具DyPrimx。DyTrimx是一种基于分解和动态规划的抽象论证系统。这项工作是由[1 ]的理论结果推动的。它利用图形参数树宽度来度量图的“树的相似性”。更具体地,树宽度通过某些图形的分解来定义,即所谓的树分解。[1, 3 ]中的理论结果描述了如何以这样的方式进行推理:算法的性能主要取决于给定AF的树宽,但是运行时间在AF的大小上保持线性。一种C++环境,包括启发式方法来获得树分解,提供了一种在分解上运行算法的接口,并提供了其他有用的特征,例如用于解析输入。