恰当的 swMATH ID: 29303 软件作者： Carro，M.，Hermenegildo，M.V。 描述： 搜索树可视化工具：APT工具。约束逻辑程序执行的控制部分可以在概念上显示为搜索树，其中节点对应于调用，其分支表示连接和析取。该树表示程序遍历的搜索空间，并且与程序执行的工作量有直接关系。树的节点可用于显示有关每个调用中涉及的变量的实例化状态和起源的信息。此描述也可用于枚举过程。这些是APT中实现的功能，APT是一种工具，它运行约束逻辑程序，同时描述（修改的）搜索树，同时保留执行过程中每个时刻变量状态的信息。此信息可用于任意回放执行过程，无论是向前还是向后。当执行的大小需要时，可以抽象这些视图。搜索树视图用作一个框架，可以将约束级可视化（如下一章中介绍的可视化）附加到该框架上。 主页： https://link.springer.com/chapter/10.1007/10722311_10 相关软件： Oz探险家;彗星;OPL公司;HiRise公司;DiSCiPl公司;VIFID/TRIFID公司;炸薯条;表面贴装技术;P绑定;打开SMT2;糠;VAMPIRE公司;玛蒂塔;幼崽;CLPGUI公司 引用于： 3文件 全部的 前5名8位作者引用 1 安德烈亚·阿斯佩蒂 1 末日，格雷戈伊尔 1 安蒂·E·J·海瓦·里宁。 1 马特奥·马雷斯科蒂 1 劳伦特·米歇尔 1 娜塔莎·莎莉吉娜 1 恩里科·塔西 1 帕斯卡·范·亨特利克 连载1篇 1 约束条件 在3个字段中引用 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文