格雷斯珀 swMATH编号： 11757 软件作者： R.D.Viegas；F.A.阿泽夫多 描述： GRASPER：图形约束推理。本文提出了一种基于集合约束的图形约束求解器GRASPER。GRASPER是一个基于约束逻辑的推理框架，旨在通过引入图形变量为建模和解决难的组合问题提供一个强大、高效和直观的框架。我们指定了GRASPER的核心约束和更高级别的约束，并利用它在生物化学网络的背景下对问题进行建模，与现有的类似求解器相比，在不同的搜索启发式中显示出有希望的结果 主页： http://inderscience.metapress.com/content/926404240008287/ 关键词： 约束逻辑程序设计;约束推理;图表;套;图形约束求解器;建模;生物化学网络;搜索启发法 相关软件： CPGraph（CPGraph）;CaSPER公司;红衣主教 引用于： 1文件 2位作者引用 1 弗朗西斯科·阿泽夫多 1 鲁本·杜阿尔特·维加斯 0连载引用 在2个字段中引用 1 计算机科学（68至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文