The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants
复制标题
DOI：
10.1007/978-3-030-51372-6_19
复制
发表时间：
2020-05-31
期刊：
影响因子：
--
通讯作者：
Trimble J
中科院分区：
文献类型：
--
作者：
McCreesh C;Prosser P;Trimble J
格拉斯哥子图求解器为子图同构问题提供了最先进的算法实现。它将约束编程概念与各种强大但快速的特定于领域的搜索和推理技术相结合，适合用于各种图，包括许多其他求解器发现难以计算的图。它还可以配备侧约束，并且可以很容易地适应于解决其他子图匹配问题变体。我们从用户和算法开发者的角度概述了它的关键特性，并讨论了未来的发展方向。
The Glasgow Subgraph Solver provides an implementation of state of the art algorithms for subgraph isomorphism problems. It combines constraint programming concepts with a variety of strong but fast domain-specific search and inference techniques, and is suitable for use on a wide range of graphs, including many that are found to be computationally hard by other solvers. It can also be equipped with side constraints, and can easily be adapted to solve other subgraph matching problem variants. We outline its key features from the view of both users and algorithm developers, and discuss future directions.
登录
查看更多内容
影响因子：
3
作者：
Bonnici V;Giugno R;Pulvirenti A;Shasha D;Ferro A
通讯作者：
Ferro A
影响因子：
14.4
作者：
Solnon, Christine
通讯作者：
Solnon, Christine
影响因子：
3.7
作者：
Davies T;Marchione E
通讯作者：
Marchione E
DOI：
10.1109/tpami.2004.75
发表时间：
2004-10-01
影响因子：
23.6
作者：
Cordella, LP;Foggia, P;Vento, M
通讯作者：
Vento, M
影响因子：
12.9
作者：
Fiala, Jiri;Kratochvil, Jan
通讯作者：
Kratochvil, Jan