Archibald, B. , Burns, K., Mccreesh, C. and Sevegnani, M. (2021) Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances. [Data Collection]
Datacite DOI: 10.5281/zenodo.4597074
Collection description
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.
| College / School: | College of Science and Engineering > School of Computing Science |
|---|---|
| Date Deposited: | 12 Aug 2024 13:58 |
| URI: | https://researchdata.gla.ac.uk/id/eprint/1689 |
Available Files
There are no files for this dataset available to download.
Repository Staff Only: Update this record