Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
收藏Zenodo2021-08-04 更新2026-05-25 收录
下载链接：
https://zenodo.org/record/4597074
下载链接
链接失效反馈官方服务：
资源简介：
A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver. See README for details. Also included in results.tar.xz are those presented in the paper.
提供机构：
Zenodo创建时间：
2021-08-04
